Ubuntu
coq package

Branches for Raring

Name Status Last Modified Last Commit
lp://staging/ubuntu/raring/coq 2 Mature 2012-10-20 18:57:20 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