Log in / Register
Ubuntu
coq package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #49546
Comment #3
Comment 3 for bug 49546
Revision history for this message
Vassilis Pandis (pandisv)
wrote
on 2006-08-16
:
#3
Forwarded to Debian ...
Forwarded to Debian ...
Forwarded to Debian ...