loong64 build of ladr 0.0.200911a-ok1 in openkylin nile RELEASE
created
Build status
Successfully built
on loong64-124-8221
- Started
- Finished (took 1 minute, 46.0 seconds)
- buildlog (23.7 KiB)
- ladr_0.0.200911a-ok1_loong64.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_loong64.deb (141.3 KiB)
- libladr-dev_0.0.200911a-ok1_loong64.deb (373.5 KiB)
- libladr4_0.0.200911a-ok1_loong64.deb (184.0 KiB)
- prover9_0.0.200911a-ok1_loong64.deb (97.3 KiB)
