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
Am Freitag, den 15.01.2010, 20:36 +0100 schrieb David MENTRE:
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
Hello Benjamin,
2010/1/15 Benjamin Drung bdr...@ubuntu.com:
It's not synchronised with Debian, because we sync automatically from
Debian testing (and testing has currently only the old version).
You can solve this issue by requesting a sync from Debian unstable
(using the requestsync tool),
On Fri, 2010-01-15 at 10:45 +0100, Aitor Pazos wrote:
I've just read those mail talking about dropping one or the other part
of the name from future Ubuntu releases. For many users, releases naming
is a bit confusing but many. The point is that many others don't even
care about which