[OCaml 3.11.2 transition][round 6/6] Please sync packages involved in OCaml transition from Debian (sid) to lucid (universe)
Bug #533753 reported by
Stéphane Glondu
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
matita (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
why (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Binary package hint: why
Hello,
Reminder: there is an OCaml transitition going on in lucid. Its progress can be monitored at:
http://
http://
Please sync the following packages:
matita (0.5.7-2ubuntu2 -> 0.5.8-2)
why (2.19+dfsg-2 -> 2.23+dfsg-2)
Thanks in advance,
--
Stéphane
To post a comment you must log in.
I hereby request a freeze exception for matita. It is a new (quite different) upstream, so there is a pretty big diff. However, this new release supports gtksourceview2 (the previous one uses the obsolete gtksourceview1 [1], which has been removed from Debian [2]). It has been successfully been built on all architectures in Debian, and migrated to testing [3].
I believe the bug fixed by the Ubuntu-specific patch has been fixed in Debian as well [4].
[1] http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 541959 bugs.debian. org/cgi- bin/bugreport. cgi?bug= 558676 packages. qa.debian. org/m/matita/ news/20091212T1 63928Z. html bugs.debian. org/cgi- bin/bugreport. cgi?bug= 532289
[2] http://
[3] http://
[4] http://