arm64 build of aac-tactics 0.4-4 in ubuntu wily RELEASE
created
Build status
Successfully built
on bos01-arm64-007
- Started
- Finished (took 4 minutes, 1.8 seconds)
- buildlog (22.0 KiB)
- aac-tactics_0.4-4_arm64.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: