camllight en debian ?
Hi,
what do you think of finally including camllight in debian? The licence
is now the same as of OCaml. This might be useful since, AFAIK, many
schools here in France are using camllight for teaching, instead of
OCaml.
-Ralf.
----- Forwarded message from Francois Boisson <francois@boisson.homeip.net> -----
Date: Sun, 8 Nov 2009 20:01:19 +0100
From: Francois Boisson <francois@boisson.homeip.net>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] Camlight version 0.80
Bonjour,
Depuis quelque temps je maintiens des paquets camllight pour debian et ubuntu.
Ces paquets se trouvent sur
deb http://boisson.homeip.net/debian lenny divers
(lenny peut être remplacé par woody, sarge (version 0.75) ou etch)
deb http://boisson.homeip.net/ubuntu karmic divers
karmic peut être remplacé par breezy, dapper edgy, feisty, gutsy, hardy,
intrepid, jaunty.
Ces paquets existent pour les architectures i386 et amd64 et vont des versions
0.75 à 0.80.
La version 0.80 existent pour etch, lenny, hardy, intrepid, jaunty et karmic.
Les sources permettant de faire ces paquets (assez «crades», c'était un de mes
premiers paquets), se trouvent sur
deb-src http://boisson.homeip.net/source/ ./
Par ailleurs, il y avait un bug dans la librairie graphique entrainant un
segfault sur une architecture 64 bits si on faisait
#open "graphics";;
open_graph "";;
(text_size "CAML");;
cela entrainait une erreur de segmentation..
L'origine était un transtypage sauvage du à une décvalration manquante de la
fonction alloc_tuple. J'ai réglé le problème et ai fait des paquets corrigés
pour lenny, karmic et hardy. (paquet camllight_0.80-1_amd64.deb).
Voilà.
François Boisson
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
----- End forwarded message -----
Reply to: