Ubuntu
coq package

Branches for Karmic

Name Status Last Modified Last Commit
lp://staging/ubuntu/karmic/coq 1 Development 2009-07-30 19:49:36 UTC
15. During validation of stdlib, call coq...

Author: Stéphane Glondu
Revision Date: 2009-07-05 12:51:15 UTC

During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output
1 → 1 of 1 result First • Previous • Next • Last