riscv64 build of ladr 0.0.200911a-ok1 in openkylin nile RELEASE
created
Build status
Successfully built
on docker-riscv64-hh-200.3-20031
- Started
- Finished (took 30 minutes, 1.7 seconds)
- buildlog (25.1 KiB)
- ladr_0.0.200911a-ok1_riscv64.changes (2.1 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_riscv64.deb (113.8 KiB)
- libladr-dev_0.0.200911a-ok1_riscv64.deb (308.0 KiB)
- libladr4_0.0.200911a-ok1_riscv64.deb (137.0 KiB)
- prover9_0.0.200911a-ok1_riscv64.deb (71.4 KiB)