Ubuntu
aac-tactics package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty-proposed/aac-tactics		2 Mature	2014-01-20 08:22:59 UTC 2014-01-20	13. * Recompile with coq 8.4pl3 * Bump St... Author: Stéphane Glondu Revision Date: 2014-01-20 08:22:59 UTC * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-*
lp:ubuntu/trusty/aac-tactics		1 Development	2014-01-20 08:22:59 UTC 2014-01-20	17. * Recompile with coq 8.4pl3 * Bump St... Author: Stéphane Glondu Revision Date: 2014-01-20 08:22:59 UTC * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-*