Debian
coq package

Branches for Wheezy

Name Status Last Modified Last Commit
lp:debian/wheezy/coq 1 Development 2012-06-06 07:35:26 UTC
18. 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