Hello, The version 3.11.2+rc1 has been tagged in SVN and a tarball is available. Although no official announcement has been done, I've started to prepare the next transition.
I've recompiled all (relevant) packages available in sid on amd64. Here are the missing ones (with some brief reason): ########## Level 1 ############################## # needs porting: ocamlduce jocaml camlp5 ########## Level 2 ############################## # needs camlp5: ledit geneweb otags ulex ulex0.8 # non-free: camlpdf ########## 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: deb http://debian.glondu.net/debian ocaml3112rc1 main deb-src http://debian.glondu.net/debian ocaml3112rc1 main The repository is signed with my GPG key. Build logs and *.changes files are next to their *.deb counterparts, unsigned. It's time to look at packages that need porting and their rdeps. I will take care of ocamlduce. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
