Ubuntu
aac-tactics package

lp:ubuntu/precise/aac-tactics

  1. Precise (12.04)
  2. precise
Created by James Westby and last modified
Get this branch:
bzr branch lp:ubuntu/precise/aac-tactics
Members of Ubuntu branches can upload to this branch. Log in for directions.

Related bugs

Related blueprints

Branch information

Owner:
Ubuntu branches
Status:
Mature

Recent revisions

10. By Andreas Moog

Rebuild with new Coq.

9. By Stéphane Glondu

Rebuild with Coq 8.3pl3 (no source changes)

8. By Colin Watson

Rebuild for OCaml 3.12.1.

7. By Colin Watson

Rebuild for new OCaml library ABIs.

6. By Stéphane Glondu

* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)

5. By Adam Conrad

Rebuild to pick up ocaml fixes on armel.

4. By Stéphane Glondu

Upload to unstable

3. By Stéphane Glondu

* New upstream release
  - remove patch (applied upstream)

2. By Stéphane Glondu

Initial release (Closes: #605487)

1. By Stéphane Glondu

Import upstream version 0.1-r13244

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:ubuntu/quantal/aac-tactics
This branch contains Public information 
Everyone can see this information.

Subscribers