Damien Doligez a écrit : > After testing this release candidate, please send a mail to > <[email protected]> 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
