mauny@margaux.inria.fr (Michel Mauny) (02/07/91)
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