Ubuntu
aac-tactics package

Branches for Precise

Name Status Last Modified Last Commit
lp:ubuntu/precise/aac-tactics 2 Mature 2012-01-08 16:05:08 UTC
10. Rebuild with new Coq.

Author: Andreas Moog
Revision Date: 2012-01-08 16:05:08 UTC

Rebuild with new Coq.
1 → 1 of 1 result First • Previous • Next • Last