Log in / Register

Ubuntu
coq package

Overview
Code
Bugs
Blueprints
Translations
Answers

Bug #636229
Comment #2

Comment 2 for bug 636229

Revision history for this message

Matthias Klose (doko) wrote on 2010-09-18:

#2

reopen the issue; needs an update for thumb

• Take the tour • Read the guide

© 2004 Canonical Ltd. • Terms of use • Data privacy • Contact Launchpad Support • Blog • Careers • System status • 1b1ed1a (Get the code!)