Ubuntu
coq-doc package

  1. Bug #200073
  2. Comment #5

Comment 5 for bug 200073

Revision history for this message
David MENTRÉ (dmentre) wrote :

A new coq-doc synchronization has been requested. That should solve this issue:
 https://bugs.launchpad.net/ubuntu/+source/coq-doc/+bug/508116