Camlight version 0.80

Camlight version 0.80

[Francois Boisson]

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