[Bug 405789] [NEW] [3.11.1 transition][round 4/6] Please synchronize following source packages from Debian sid into Karmic

[David MENTRÉ]

Public bug reported:

Binary package hint: ara

Hello,

We now start round 4 of transition to OCaml 3.11.1 in Karmic.

Could you please synchronize following packages from Debian unstable into Karmic:
synchronize ara (1.0.26 -> 1.0.27)
synchronize bin-prot (1.2.10-1 -> 1.2.14-2)
synchronize cmigrep (1.5-3 -> 1.5-4)
synchronize coq (8.2-1+dfsg-1 -> 8.2.pl1+dfsg-2)
synchronize dose2 (1.4.1-1 -> 1.4.1-3)
synchronize ocaml-reins (0.1a-1 -> 0.1a-2)
synchronize ocamlgraph (1.0-2 -> 1.1-1)
synchronize sexplib310 (4.2.6-3 -> 4.2.11-2)
synchronize camlimages (1:3.0.1-1ubuntu1 -> 1:3.0.1-2)  [-f] # overwrite Ubuntu changes

For camlimages, the Ubuntu changes can be scraped as the security fixed
has been added to latest Debian package.

Many thanks!

Yours,
david

** Affects: ara (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: bin-prot (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: camlimages (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: cmigrep (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: coq (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: dose2 (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: ocaml-reins (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: ocamlgraph (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: sexplib310 (Ubuntu)
     Importance: Undecided
         Status: New

** Also affects: bin-prot (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: cmigrep (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: coq (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: dose2 (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: ocaml-reins (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: ocamlgraph (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: sexplib310 (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: camlimages (Ubuntu)
   Importance: Undecided
       Status: New

-- 
[3.11.1 transition][round 4/6] Please synchronize following source packages from Debian sid into Karmic
https://bugs.launchpad.net/bugs/405789
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs