[3.11.1 transition][round 2/6] Please synchronize following packages from Debian sid in Karmic

[David MENTRÉ]

Binary package hint: camlp5

Hello,

Following first round of OCaml transition to 3.11.1 (https://bugs.launchpad.net/ubuntu/+source/ocaml/+bug/402710), could you please synchronize following packages from Debian sid :

synchronize camlp5 (5.10-3 -> 5.12-1)
synchronize headache (1.03-15 -> 1.03-17)
synchronize hevea (1.10-7 -> 1.10-9)
synchronize hlins (0.39-14 -> 0.39-15)
synchronize jocaml (3.11.0-3 -> 3.11.1-1)
synchronize menhir (20090204.dfsg-2 -> 20090505.dfsg-1)
synchronize mlgmp (20021123-14 -> 20021123-15)
synchronize mlpost (0.6-2 -> 0.6-3)
synchronize ocamlduce (3.11.0.0~rc1-2 -> 3.11.1.0-1)
synchronize ocamlwc (0.3-6 -> 0.3-7)
synchronize ocamlweb (1.37-10 -> 1.37-11)
synchronize planets (0.1.13-8 -> 0.1.13-9)
synchronize polygen (1.0.6.ds2-7 -> 1.0.6.ds2-8)
synchronize spamoracle (1.4-13 -> 1.4-14)

Thanks,
Yours,
david

[Andrea Gasparini (gaspa)]

Ack for all the universe packages.

[James Westby (james-w)]

[Updating] camlp5 (5.10-3build1 [Ubuntu] < 5.12-1 [Debian])
 * Trying to add camlp5...
  - <camlp5_5.12.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <camlp5_5.12-1.dsc: downloading from http://ftp.debian.org/debian/>
  - <camlp5_5.12-1.diff.gz: downloading from http://ftp.debian.org/debian/>
I: camlp5 [main] -> camlp5_5.10-3build1 [main].

[James Westby (james-w)]

[Updating] camlp5 (5.10-3build1 [Ubuntu] < 5.12-1 [Debian])
 * Trying to add camlp5...
  - <camlp5_5.12.orig.tar.gz: cached>
  - <camlp5_5.12-1.dsc: cached>
  - <camlp5_5.12-1.diff.gz: cached>
I: camlp5 [main] -> camlp5_5.10-3build1 [main].

[James Westby (james-w)]

[Updating] headache (1.03-15 [Ubuntu] < 1.03-17 [Debian])
 * Trying to add headache...
  - <headache_1.03.orig.tar.gz: already in distro - downloading from librarian>
  - <headache_1.03-17.dsc: downloading from http://ftp.debian.org/debian/>
  - <headache_1.03-17.diff.gz: downloading from http://ftp.debian.org/debian/>
I: headache [universe] -> headache_1.03-15 [universe].

[James Westby (james-w)]

[Updating] hevea (1.10-7build1 [Ubuntu] < 1.10-9 [Debian])
 * Trying to add hevea...
  - <hevea_1.10.orig.tar.gz: already in distro - downloading from librarian>
  - <hevea_1.10-9.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <hevea_1.10-9.dsc: downloading from http://ftp.debian.org/debian/>
I: hevea [main] -> hevea_1.10-7build1 [main].

[James Westby (james-w)]

[Updating] hlins (0.39-14 [Ubuntu] < 0.39-15 [Debian])
 * Trying to add hlins...
  - <hlins_0.39.orig.tar.gz: already in distro - downloading from librarian>
  - <hlins_0.39-15.dsc: downloading from http://ftp.debian.org/debian/>
  - <hlins_0.39-15.diff.gz: downloading from http://ftp.debian.org/debian/>
I: hlins [universe] -> hlins_0.39-14 [universe].

[James Westby (james-w)]

[Updating] jocaml (3.11.0-3 [Ubuntu] < 3.11.1-1 [Debian])
 * Trying to add jocaml...
  - <jocaml_3.11.1.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <jocaml_3.11.1-1.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <jocaml_3.11.1-1.dsc: downloading from http://ftp.debian.org/debian/>
I: jocaml [universe] -> jocaml_3.11.0-3 [universe].
I: jocaml [universe] -> jocaml-base_3.11.0-3 [universe].

[James Westby (james-w)]

[Updating] menhir (20090204.dfsg-2 [Ubuntu] < 20090505.dfsg-1 [Debian])
 * Trying to add menhir...
  - <menhir_20090505.dfsg-1.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <menhir_20090505.dfsg-1.dsc: downloading from http://ftp.debian.org/debian/>
  - <menhir_20090505.dfsg.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
I: menhir [universe] -> menhir_20090204.dfsg-2 [universe].
I: menhir [universe] -> libmenhir-ocaml-dev_20090204.dfsg-2 [universe].

[James Westby (james-w)]

[Updating] mlgmp (20021123-14 [Ubuntu] < 20021123-15 [Debian])
 * Trying to add mlgmp...
  - <mlgmp_20021123-15.dsc: downloading from http://ftp.debian.org/debian/>
  - <mlgmp_20021123.orig.tar.gz: already in distro - downloading from librarian>
  - <mlgmp_20021123-15.diff.gz: downloading from http://ftp.debian.org/debian/>
I: mlgmp [universe] -> libgmp-ocaml_20021123-14 [universe].
I: mlgmp [universe] -> libgmp-ocaml-dev_20021123-14 [universe].

[James Westby (james-w)]

[Updating] mlpost (0.6-2 [Ubuntu] < 0.6-3 [Debian])
 * Trying to add mlpost...
  - <mlpost_0.6-3.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <mlpost_0.6-3.dsc: downloading from http://ftp.debian.org/debian/>
  - <mlpost_0.6.orig.tar.gz: already in distro - downloading from librarian>
I: mlpost [universe] -> mlpost_0.6-2 [universe].

[James Westby (james-w)]

[Updating] ocamlduce (3.11.0.0~rc1-2 [Ubuntu] < 3.11.1.0-1 [Debian])
 * Trying to add ocamlduce...
  - <ocamlduce_3.11.1.0-1.dsc: downloading from http://ftp.debian.org/debian/>
  - <ocamlduce_3.11.1.0.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <ocamlduce_3.11.1.0-1.diff.gz: downloading from http://ftp.debian.org/debian/>
I: ocamlduce [universe] -> ocamlduce_3.11.0.0~rc1-2 [universe].

[James Westby (james-w)]

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

[James Westby (james-w)]

[Updating] ocamlweb (1.37-10 [Ubuntu] < 1.37-11 [Debian])
 * Trying to add ocamlweb...
  - <ocamlweb_1.37.orig.tar.gz: already in distro - downloading from librarian>
  - <ocamlweb_1.37-11.dsc: downloading from http://ftp.debian.org/debian/>
  - <ocamlweb_1.37-11.diff.gz: downloading from http://ftp.debian.org/debian/>
I: ocamlweb [universe] -> ocamlweb_1.37-10 [universe].

[James Westby (james-w)]

[Updating] planets (0.1.13-8 [Ubuntu] < 0.1.13-9 [Debian])
 * Trying to add planets...
  - <planets_0.1.13-9.dsc: downloading from http://ftp.debian.org/debian/>
  - <planets_0.1.13.orig.tar.gz: already in distro - downloading from librarian>
  - <planets_0.1.13-9.diff.gz: downloading from http://ftp.debian.org/debian/>
I: planets [universe] -> planets_0.1.13-8 [universe].

[James Westby (james-w)]

[Updating] polygen (1.0.6.ds2-7 [Ubuntu] < 1.0.6.ds2-8 [Debian])
 * Trying to add polygen...
  - <polygen_1.0.6.ds2.orig.tar.gz: already in distro - downloading from librarian>
  - <polygen_1.0.6.ds2-8.dsc: downloading from http://ftp.debian.org/debian/>
  - <polygen_1.0.6.ds2-8.diff.gz: downloading from http://ftp.debian.org/debian/>
I: polygen [universe] -> polygen_1.0.6.ds2-7 [universe].
I: polygen [universe] -> polygen-data_1.0.6.ds2-7 [universe].

[James Westby (james-w)]

[Updating] spamoracle (1.4-13 [Ubuntu] < 1.4-14 [Debian])
 * Trying to add spamoracle...
  - <spamoracle_1.4-14.dsc: downloading from http://ftp.debian.org/debian/>
  - <spamoracle_1.4.orig.tar.gz: already in distro - downloading from librarian>
  - <spamoracle_1.4-14.diff.gz: downloading from http://ftp.debian.org/debian/>
I: spamoracle [universe] -> spamoracle_1.4-13 [universe].