OCaml 3.11.2+rc1

[Stéphane Glondu <steph@glondu.net>]

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