ocaml-maint team mailing list archive
-
ocaml-maint team
-
Mailing list archive
-
Message #00268
[Bug 530305] Re: [OCaml 3.11.2 transition][round 5/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
I've just added ocaml-batteries (0.20090405+beta1-5 -> 1.1.0-1).
The version currently in lucid was a beta release, and the upstream
project changed quite a bit since then. That's why this version has been
removed from squeeze [1]. There has been a new upstream release since
them, that has been uploaded to sid yesterday. Currently, it has been
built on all architectures that exist in Ubuntu [2].
I think that the package should be either synced or removed from Lucid
before the beta1 freeze.
[1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570488
[2] https://buildd.debian.org/status/package.php?p=ocaml-batteries
** Bug watch added: Debian Bug tracker #570488
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=570488
--
[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: New
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