ocaml-maint team mailing list archive
-
ocaml-maint team
-
Mailing list archive
-
Message #00270
[Bug 530305] Re: [OCaml 3.11.2 transition][round 5/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
Hi, I'm the maintainer of ocaml-batteries in Debian. I believe that the
release is stable enough to be released any time soon in a distro; the
packaging is meant to be in good shape too. More importantly, I believe
it would be totally inappropriate to release the *fomer* ocaml-batteries
which was in Debian/unstable until a few days ago, as it is a line of
developement which is completely abandoned now.
FWIW, let me remind you that currently no one from Ubuntu is helping out
with OCaml package maintanance. On the Debian side we do our best to
have sync stable for Ubuntu releases, but it would just be fair to have
someone on the Ubuntu side help out, or at least come to us (our VCS
and/or mailing lists) for specific information (like in this case).
Hope this helps,
Cheers.
--
[OCaml 3.11.2 transition][round 5/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
https://bugs.launchpad.net/bugs/530305
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is a direct subscriber.
Status in “frama-c” package in Ubuntu: Fix Released
Status in “ocaml-batteries” package in Ubuntu: Incomplete
Bug description:
Binary package hint: frama-c
Hello,
Reminder: there is an OCaml transitition going on in lucid. Its progress can be monitored at:
http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ports_transition_monitor.html
Please sync the following package:
frama-c (20090901+beryllium+dfsg-2 -> 20090902+beryllium+dfsg-4)
Note:this is a new upstream (minor) release. Most changes are in packaging (upstream as well as debian). Dependencies changed so that why now depends on frama-c (and not the other way around, as it was previously). It has been built successfully on all architectures in Debian, and is in testing. I hereby request a feature freeze exception.
Thanks in advance,
--
Stéphane