Ubuntu
coq package

Bug #1349422
Comment #1

Comment 1 for bug 1349422

Revision history for this message

Guillaume Claret (x-dev-u) wrote on 2014-07-28:

#1

Dependencies.txt Edit (4.8 KiB, text/plain; charset="utf-8")
ProcEnviron.txt Edit (103 bytes, text/plain; charset="utf-8")