Hello Benjamin,
2010/1/15 Benjamin Drung :
> 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), which I have
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" pac
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 upgrad
