i386 build of aac-tactics 0.4-2 in ubuntu trusty RELEASE
created
Build status
Successfully built
on lgw01-03
- Started
- Finished (took 4 minutes, 3.8 seconds)
- buildlog (27.2 KiB)
- aac-tactics_0.4-2_i386.changes (1.6 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- libaac-tactics-coq-0.4-2
- libaac-tactics-ocaml-0.4-2
- libaac-tactics-ocaml-dev-0.4-2
Built files
Files resulting from this build: