Ubuntu
coq-doc package

  1. Bug #200073
  2. Comment #6

Comment 6 for bug 200073

Revision history for this message
Sylvain Nahas (myself-sylvain-nahas) wrote : Re: [Bug 200073] Re: Conflict between coq-doc and other coq packages

Le vendredi 15 janvier 2010 à 22:58 +0000, David MENTRÉ a écrit :
> A new coq-doc synchronization has been requested. That should solve this issue:
> https://bugs.launchpad.net/ubuntu/+source/coq-doc/+bug/508116

Bravo! Only two years later ;)