Ubuntu
aac-tactics package

View Git repositories
Name Status Last Modified Last Commit
lp:ubuntu/wily-proposed/aac-tactics 1 Development 2015-08-10 23:27:03 UTC
14. * Fix Homepage URL * Drop debian/watc...

Author: Stéphane Glondu
Revision Date: 2015-08-10 21:16:02 UTC

* Fix Homepage URL
* Drop debian/watch
* Bump Standards-Version to 3.9.6
* Bump debhelper compat level to 9
lp:ubuntu/wily/aac-tactics 1 Development 2015-08-10 21:16:02 UTC
15. * Fix Homepage URL * Drop debian/watc...

Author: Stéphane Glondu
Revision Date: 2015-08-10 21:16:02 UTC

* Fix Homepage URL
* Drop debian/watch
* Bump Standards-Version to 3.9.6
* Bump debhelper compat level to 9
lp:ubuntu/vivid/aac-tactics 2 Mature 2014-10-27 12:34:50 UTC
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
13. 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/aac-tactics 2 Mature 2014-07-30 11:00:52 UTC
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/trusty-proposed/aac-tactics 2 Mature 2014-01-20 08:22:59 UTC
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
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-*
lp:ubuntu/saucy-proposed/aac-tactics 1 Development 2013-05-09 16:19:55 UTC
14. * New upstream release * Use format v...

Author: Stéphane Glondu
Revision Date: 2013-05-09 13:26:38 UTC

* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
lp:ubuntu/saucy/aac-tactics 2 Mature 2013-05-09 13:26:38 UTC
14. * New upstream release * Use format v...

Author: Stéphane Glondu
Revision Date: 2013-05-09 13:26:38 UTC

* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
lp:ubuntu/raring/aac-tactics 2 Mature 2012-10-20 19:29:58 UTC
12. Recompile with camlp5 6.06 (no changes)

Author: Stéphane Glondu
Revision Date: 2012-06-09 10:31:21 UTC

Recompile with camlp5 6.06 (no changes)
lp:ubuntu/quantal/aac-tactics 2 Mature 2012-06-09 10:31:21 UTC
12. Recompile with camlp5 6.06 (no changes)

Author: Stéphane Glondu
Revision Date: 2012-06-09 10:31:21 UTC

Recompile with camlp5 6.06 (no changes)
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.
lp:ubuntu/oneiric/aac-tactics 2 Mature 2011-08-24 16:40:51 UTC
5. Rebuild to pick up ocaml fixes on armel.

Author: Adam Conrad
Revision Date: 2011-08-24 16:40:51 UTC

Rebuild to pick up ocaml fixes on armel.
1 → 13 of 13 results First • Previous • Next • Last