arm64 build of ladr 0.0.200911a-ok1 : uos : liweinan

liweinan

arm64 build of ladr 0.0.200911a-ok1 in openkylin nile RELEASE

created on 2025-10-30

Build status

Successfully built on docker-arm64-0.36-33604

Started on 2025-10-31
Finished on 2025-10-31 (took 4 minutes, 31.1 seconds)
buildlog (25.0 KiB)
ladr_0.0.200911a-ok1_arm64.changes (2.0 KiB)

Build details

Source:: ladr - 0.0.200911a-ok1

Archive:: uos

Series:: Nile V2.0

Architecture:: arm64

Pocket:: Release

Component:: main

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_arm64.deb (109.6 KiB)
libladr-dev_0.0.200911a-ok1_arm64.deb (249.4 KiB)
libladr4_0.0.200911a-ok1_arm64.deb (149.9 KiB)
prover9_0.0.200911a-ok1_arm64.deb (70.1 KiB)