Ubuntu
aac-tactics package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp:ubuntu/utopic/aac-tactics		2 Mature	2014-07-30 11:00:52 UTC 2014-07-30	14. Recompile with coq 8.4pl4 Author: Stéphane Glondu Revision Date: 2014-07-30 11:00:52 UTC Recompile with coq 8.4pl4
lp:ubuntu/utopic-proposed/aac-tactics		1 Development	2014-07-30 17:53:28 UTC 2014-07-30	13. Recompile with coq 8.4pl4 Author: Stéphane Glondu Revision Date: 2014-07-30 11:00:52 UTC Recompile with coq 8.4pl4