Log in / Register
Ubuntu
coq-doc package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #200073
Comment #1
Comment 1 for bug 200073
Revision history for this message
Sylvain Nahas (myself-sylvain-nahas)
wrote
on 2008-03-09
:
#1
ScreenschotSynaptic
Edit
(68.7 KiB, application/octet-stream)