Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1
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
Reply to: