Log in / Register
Ubuntu
coq-doc package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #200073
Comment #7
Comment 7 for bug 200073
Revision history for this message
Alex Wauck (awauck)
wrote
on 2012-03-03
:
#7
This no longer seems to be a problem in 11.10.
This no longer seems to be a problem in 11.10.
This no longer seems to be a problem in 11.10.