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

Colin Watson cjwatson at canonical.com
Sat Feb 27 15:29:16 GMT 2010


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


** Changed in: coq (Ubuntu)
       Status: Confirmed => Fix Released

-- 
[OCaml 3.11.2 transition][round 4/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
https://bugs.launchpad.net/bugs/527633
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.



More information about the ubuntu-archive mailing list