Newsgroups: comp.lang.functional
Subject: Re: ibmpc versions of sml and caml wanted
From: bloch@cnam.cnam.fr (Laurent Bloch)
Date: Tue, 1 Sep 1992 13:29:59 GMT
Organization: Conservatoire National des Arts et Metiers
X-Unparsable-Date: Fri, 4 Sep 92 16:23:58 MET DST

> 
Subject: [comp.lang.functional...] CAML V2-6.1 on nuri.inria.fr
> >Organization: INRIA Rocquencourt France
> >Keywords: functional ML
X-Original-Newsgroups: comp.lang.functional,comp.archives
> 
Archive-name: languages/functional/caml/1991-02-06
Archive-directory: nuri.inria.fr:/languages/caml/V2-6.1/ [128.93.1.26]
Original-posting-by: mauny@margaux.inria.fr (Michel Mauny)
Original-subject: CAML V2-6.1 on nuri.inria.fr
Reposted-by: emv@ox.com (Edward Vielmetti)


The CAML functional programming language is now freely available by
anonymous ftp from nuri.inria.fr [128.93.1.26].

CAML is a language belonging to the ML family including:

        lexical binding discipline
        static type inference
        user-defined (sum and product) types
        possibly lazy data structures
        possibly mutable data structures
        interface with the Yacc parser generator
        pretty-printing tools
        and a complete library.

The distribution includes a complete documentation (a primer, 80
pages, and the reference manual, 490 pages) in source and dvi formats.
These documents are also available as INRIA tech-reports (number 121
> et 122).

Currently, the archive contains ports to the following machines:

        Sun3
        Sun4
        Sony News 68k
        NeXt 68k
        Dec Stations 3100 and 5000
        MacIntosh A/UX
        HP 9300
        Vax (4.3 BSD)

The size of the compressed archive is about:
        common part:            2Mb
        machine-specific part:  2.5Mb
        documentation:          3Mb

Once installed, the size of the whole system is 15Mb + documentation
(optional installation).

This is what you obtain after login (user anonymous, any passwd):
ftp> cd languages/caml/V2-6.1
250 CWD command successful.
ftp> ls
200 PORT command successful.
150 Opening ASCII mode data connection for /bin/ls.
total 19886
-rw-r--r--  1 23861    21117        1994 Jan 22 14:22 CHANGES
-rw-r--r--  1 23861    21117        3776 Jan 22 14:10 CONTENTS.common
-rw-r--r--  1 23861    21117         556 Feb  6 11:44 CONTENTS.hp9300
-rw-r--r--  1 23861    21117         537 Jan 22 14:23 CONTENTS.macaux
-rw-r--r--  1 23861    21117         713 Dec 20 10:32 CONTENTS.mips
-rw-r--r--  1 23861    21117         522 Jan 15 15:58 CONTENTS.next
-rw-r--r--  1 23861    21117         679 Dec 20 11:03 CONTENTS.sony68
-rw-r--r--  1 23861    21117         732 Dec 17 18:59 CONTENTS.sun3
-rw-r--r--  1 23861    21117         990 Dec 14 16:21 CONTENTS.sun4
-rw-r--r--  1 23861    21117         662 Dec 14 13:56 CONTENTS.vax
-rw-r--r--  1 23861    21117        2842 Feb  6 18:55 README
-rw-r--r--  1 23861    21117         473 Dec 21 13:51 README.doc
drwxr-xr-x  4 23861    21117        2048 Feb  6 19:43 bugfixes
-rwxr-xr-x  1 23861    21117        1586 Jan 22 12:13 caml.macaux
-rwxr-xr-x  1 23861    21117        1559 Dec 28 12:02 caml.mips
-rwxr-xr-x  1 23861    21117        1575 Jan 14 17:30 caml.next
-rwxr-xr-x  1 23861    21117        1575 Dec 28 11:45 caml.sony68
-rwxr-xr-x  1 23861    21117        1213 Dec 17 19:09 caml.sun3
-rwxr-xr-x  1 23861    21117        1810 Dec 28 11:43 caml.sun4
-rwxr-xr-x  1 23861    21117        1570 Jan 22 14:34 caml.vax
-rw-r--r--  1 23861    21117     1979834 Jan 22 14:29 common.tar.Z
-rw-r--r--  1 23861    21117     2884839 Dec 14 18:15 doc.tar.Z
-rw-r--r--  1 23861    21117     1702681 Feb  6 13:57 hp9300.tar.Z
-rwxr-xr-x  1 23861    21117         708 Feb  6 18:29 install-common
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-hp9300
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-macaux
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-mips
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-next
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sony68
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sun3
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sun4
-rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-vax
-rw-r--r--  1 23861    21117     1749126 Feb  6 19:37 macaux.tar.Z
-rw-r--r--  1 23861    21117     2101041 Dec 17 15:30 mips.tar.Z
-rw-r--r--  1 23861    21117     1717258 Jan 15 16:07 next.tar.Z
-rw-rw-rw-  1 23861    21117     1784213 Dec 26 16:57 sony68.tar.Z
-rw-r--r--  1 23861    21117     2002712 Dec 17 19:01 sun3.tar.Z
-rw-r--r--  1 23861    21117     2241067 Dec 14 18:00 sun4.tar.Z
-rw-r--r--  1 23861    21117     1905950 Dec 14 10:53 vax.tar.Z
226 Transfer complete.

Any suggestion or installation problem should be reported to
caml@margaux.inria.fr

Sincerely,

Michel Mauny
----------------------------------------------------------------------------
Formel Project
INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
E-mail: Michel.Mauny@inria.fr
Telephone: +33 1 39 63 57 96
----------------------------------------------------------------------------
--
Michel Mauny
INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
E-mail: Michel.Mauny@inria.fr
Telephone: (1) 39 63 57 96

-- 
_______________________________________________________________________________
  INTERNET: bloch@pasteur.fr

	Laurent Bloch , Institut Pasteur, Paris

Newsgroups: comp.lang.functional