Damien Doligez a écrit : > After testing this release candidate, please send a mail to > <damien.doli...@inria.fr> and tell us what you tested and whether > it worked.
I've successfully recompiled most of the packages depending on ocaml currently available in Debian sid on amd64. The missing packages are (sorted by dependency level): ########## Level 1 ############################## # needs porting: ocamlduce jocaml camlp5 ########## Level 2 ############################## # needs camlp5: ledit geneweb otags ulex ulex0.8 ########## Level 3 ############################## # needs porting: mldonkey # needs camlp5: coq ########## Level 4 ############################## # needs porting: ocaml-batteries # needs ledit: pkglab # needs coq: coq-float ssreflect # needs ocamlduce: ocsigen ########## Level 5 ############################## # needs porting: galax # needs ocsigen: nurpawiki # needs camlp5: matita # needs coq: why ########## Level 6 ############################## # needs why: frama-c ################################################# All successfully built packages are apt-able at (targeted at sid): deb http://debian.glondu.net/debian ocaml3112rc1 main deb-src http://debian.glondu.net/debian ocaml3112rc1 main A summary of the successfully built packages is available at: http://debian.glondu.net/debian/ocaml3112rc1-summary.txt The repository is signed with my GPG key. Build logs and *.changes files are next to their *.deb counterparts, unsigned. Cheers, -- Stéphane _______________________________________________ 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
