amd64 build of aac-tactics 0.4-3 in ubuntu vivid RELEASE
created
Build status
Successfully built
on comet (i386/amd64)
- Started
- Finished (took 5 minutes, 48.8 seconds)
- buildlog (18.1 KiB)
- aac-tactics_0.4-3_amd64.changes (1.5 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- libaac-tactics-coq-0.4-3
- libaac-tactics-ocaml-0.4-3
- libaac-tactics-ocaml-dev-0.4-3
Built files
Files resulting from this build: