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

[James Westby]

2010-03-22 19:21:34 INFO      - <matita_0.5.8-2.diff.gz: downloading from http://ftp.debian.org/debian/>
[Updating] matita (0.5.7-2ubuntu2 [Ubuntu] < 0.5.8-2 [Debian])
 * Trying to add matita...
2010-03-22 19:21:34 INFO      - <matita_0.5.8-2.dsc: downloading from http://ftp.debian.org/debian/>
2010-03-22 19:21:34 INFO      - <matita_0.5.8.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
I: matita [universe] -> matita_0.5.7-2ubuntu2 [universe].
I: matita [universe] -> matita-doc_0.5.7-2ubuntu2 [universe].


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

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