ppc64el build of aac-tactics 0.4-4 in ubuntu wily RELEASE
created
Build status
Successfully built on bos01-ppc64el-009
- Started
- Finished (took 7 minutes, 1.3 seconds)
- buildlog (23.3 KiB)
- aac-tactics_0.4-4_ppc64el.changes (1.6 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- libaac-tactics-coq-0.4-4
- libaac-tactics-ocaml-0.4-4
- libaac-tactics-ocaml-dev-0.4-4
Built files
Files resulting from this build: