Hello, I just realized that package "coq-doc" is blocked at revision 8.0pl1.0-1 in Ubuntu since Dapper: http://packages.ubuntu.com/search?keywords=coq-doc
It makes this package not installable in parallel with "coq" package in Karmic and probably in Lucid. The package has been regularly upgraded in Debian (current revision in testing is 8.1-3 and 8.2pl1-1 in unstable): http://packages.debian.org/search?keywords=coq-doc Current revisions of coq are 8.2.pl1+dfsg-2 in Karmic and 8.2.pl1+dfsg-4 in Lucid. Do anybody know why this package is not synchronized with Debian? How to solve this issue? Best regards, david -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss