Log in / Register
Ubuntu
coq-doc package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #225451
Comment #1
Comment 1 for bug 225451
Revision history for this message
Martin Pitt (pitti)
wrote
on 2008-05-30
:
#1
Moved binary to multiverse, thanks!
Moved binary to multiverse, thanks!
Moved binary to multiverse, thanks!