Why package "coq-doc" is not updated into Ubuntu?
dmentre at linux-france.org
Fri Jan 15 19:36:39 UTC 2010
I just realized that package "coq-doc" is blocked at revision
8.0pl1.0-1 in Ubuntu since Dapper:
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):
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?
More information about the Ubuntu-devel-discuss