Damien Doligez a écrit :
> After testing this release candidate, please send a mail to
> <damien.doligez@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