Log in / Register
Ubuntu
coq package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #935063
Comment #1
Comment 1 for bug 935063
Revision history for this message
Colin Watson (cjwatson)
wrote
on 2012-09-19
:
#1
Universe; not committing to fix build failures.
Universe; not committing to fix build failures.
Universe; not committing to fix build failures.