amd64 build of ladr 0.0.200911a-ok1 in openkylin nile RELEASE
created
Build status
Successfully built
on docker-amd64-0.37-8221
- Started
- Finished (took 2 minutes, 15.4 seconds)
- buildlog (26.0 KiB)
- ladr_0.0.200911a-ok1_amd64.changes (2.0 KiB)
Build details
Binary packages
Binary packages produced by this build:
- ladr4-apps-0.0.200911a-ok1
- libladr-dev-0.0.200911a-ok1
- libladr4-0.0.200911a-ok1
- prover9-0.0.200911a-ok1
Built files
Files resulting from this build:
- ladr4-apps_0.0.200911a-ok1_amd64.deb (123.5 KiB)
- libladr-dev_0.0.200911a-ok1_amd64.deb (247.7 KiB)
- libladr4_0.0.200911a-ok1_amd64.deb (158.3 KiB)
- prover9_0.0.200911a-ok1_amd64.deb (73.3 KiB)
