Ubuntu
coq-doc package

  1. Bug #200073
  2. Comment #4

Comment 4 for bug 200073

Revision history for this message
Daniel T Chen (crimsun) wrote :

This issue stems from the latest source package FTBFS on four (!) Ubuntu releases.