arm64 build of ladr 0.0.200911a-2.1 in ubuntu wily RELEASE
created
Build status
Successfully built
on bos01-arm64-026
- Started
- Finished (took 2 minutes, 35.4 seconds)
- buildlog (18.7 KiB)
- ladr_0.0.200911a-2.1_arm64.changes (1.8 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- ladr4-apps-0.0.200911a-2.1
- libladr-dev-0.0.200911a-2.1
- libladr4-0.0.200911a-2.1
- prover9-0.0.200911a-2.1
Built files
Files resulting from this build: