ocaml-maint team mailing list archive

[Martin Pitt <martin.pitt@xxxxxxxxxx>]

> I think that the package should be either synced or removed from Lucid

Which do you think is the more appropriate option?

It currently has zero reverse dependencies, and its recent removal from
Debian might indicate that it's not very well maintained/too much in
flux. So would it be better to remove?

** Changed in: ocaml-batteries (Ubuntu)
       Status: New => Incomplete

-- 
[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