[OCaml 3.11.2 transition][round 4/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)

Subscribed motu-release to get an opinion on mldonkey. Attaching the interesting part of the chanelog. Looks like several bufixes and one added option.

Oops, sorry, didn't notice Andrew working here.

No problem. I was just waiting for my test builds to finish.

ACKing ara, cmigrep, and coq. The changes all look suitable and don't require FFEs. I can confirm they all build in a Lucid pbuilder. Subscribing archive-admins for the syncs.

Agreed about mldonkey. The changes seem reasonable as well, but as it seems to add a new (though minor) feature it should get a release ACK as well.

Attaching mldonkey 3.0.0-3 -> 3.0.1-1 debdiff, sans "configure", for ease of review.

I've just added ocaml-expat (0.9.1+debian1-6 -> 0.9.1+debian1-7). See:

  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=569267

Ilya Barygin wrote:
> Attaching mldonkey 3.0.0-3 -> 3.0.1-1 debdiff, sans "configure", for
> ease of review.
>
> ** Attachment added: "mldonkey.diff"
> http://launchpadlibrarian.net/39788174/mldonkey.diff
>

This version fixes some minor issues and let mldonkey compile fine with
ocaml 3.11.2.

Regards,

--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/

Sync request for ocaml-expat ACKed.

[Updating] ocaml-expat (0.9.1+debian1-6 [Ubuntu] < 0.9.1+debian1-7 [Debian])
 * Trying to add ocaml-expat...
  - <ocaml-expat_0.9.1+debian1-7.dsc: downloading from http://ftp.debian.org/debian/>
  - <ocaml-expat_0.9.1+debian1-7.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <ocaml-expat_0.9.1+debian1.orig.tar.gz: already in distro - downloading from librarian>
I: ocaml-expat [universe] -> libexpat-ocaml-dev_0.9.1+debian1-6 [universe].
I: ocaml-expat [universe] -> libexpat-ocaml_0.9.1+debian1-6 [universe].

[Updating] ara (1.0.27 [Ubuntu] < 1.0.28 [Debian])
 * Trying to add ara...
  - <ara_1.0.28.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <ara_1.0.28.dsc: downloading from http://ftp.debian.org/debian/>
I: ara [universe] -> ara_1.0.27 [universe].
I: ara [universe] -> xara-gtk_1.0.27 [universe].

[Updating] cmigrep (1.5-6 [Ubuntu] < 1.5-7 [Debian])
 * Trying to add cmigrep...
  - <cmigrep_1.5.orig.tar.gz: already in distro - downloading from librarian>
  - <cmigrep_1.5-7.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <cmigrep_1.5-7.dsc: downloading from http://ftp.debian.org/debian/>
I: cmigrep [universe] -> cmigrep_1.5-6 [universe].

[Updating] coq (8.2.pl1+dfsg-4 [Ubuntu] < 8.2.pl1+dfsg-6 [Debian])
 * Trying to add coq...
  - <coq_8.2.pl1+dfsg.orig.tar.gz: already in distro - downloading from librarian>
  - <coq_8.2.pl1+dfsg-6.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <coq_8.2.pl1+dfsg-6.dsc: downloading from http://ftp.debian.org/debian/>
I: coq [universe] -> coq_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> coqide_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> coq-theories_8.2.pl1+dfsg-4 [universe].
I: coq [universe] -> libcoq-ocaml-dev_8.2.pl1+dfsg-4 [universe].

I've just added ocamlgraph. A newer version is needed for frama-c. The current version in Lucid is 1.2+debian-1build2 whereas it is 1.3+debian-1 in Debian (sorry for not noticing that earlier). FWIW, it has been compiled successfully on all architectures in Debian, and migrated to testing.

I hereby request a freeze exception for this.

mldonkey 3.0.1-1 synced.

ocamlgraph 1.3+debian-1 synced.