Ubuntu
coq package

Branches for Quantal

Name Status Last Modified Last Commit
lp://staging/ubuntu/quantal/coq 2 Mature 2012-06-06 07:35:26 UTC
31. Recompile with camlp5 6.06 (no changes)

Author: Stéphane Glondu
Revision Date: 2012-06-06 07:35:26 UTC

Recompile with camlp5 6.06 (no changes)
1 → 1 of 1 result First • Previous • Next • Last