Publishing details

• Published on 2025-10-30

Changelog

ladr (0.0.200911a-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Thu, 30 Oct 2025 22:07:45 +0800

Builds

• amd64
• arm64
• loong64
• riscv64
• rv64g

Built packages

• ladr4-apps the LADR deduction library, miscellaneous applications

• libladr-dev the LADR deduction library, development files

• libladr4 the LADR deduction library

• prover9 theorem prover and countermodel generator

Package files

• ladr4-apps_0.0.200911a-ok1_amd64.deb (123.5 KiB)
• ladr4-apps_0.0.200911a-ok1_arm64.deb (109.6 KiB)
• ladr4-apps_0.0.200911a-ok1_loong64.deb (141.3 KiB)
• ladr4-apps_0.0.200911a-ok1_riscv64.deb (113.8 KiB)
• ladr_0.0.200911a-ok1.debian.tar.xz (17.5 KiB)
• ladr_0.0.200911a-ok1.dsc (1.8 KiB)
• ladr_0.0.200911a.orig.tar.gz (1.7 MiB)
• libladr-dev_0.0.200911a-ok1_amd64.deb (247.7 KiB)
• libladr-dev_0.0.200911a-ok1_arm64.deb (249.4 KiB)
• libladr-dev_0.0.200911a-ok1_loong64.deb (373.5 KiB)
• libladr-dev_0.0.200911a-ok1_riscv64.deb (308.0 KiB)
• libladr4_0.0.200911a-ok1_amd64.deb (158.3 KiB)
• libladr4_0.0.200911a-ok1_arm64.deb (149.9 KiB)
• libladr4_0.0.200911a-ok1_loong64.deb (184.0 KiB)
• libladr4_0.0.200911a-ok1_riscv64.deb (137.0 KiB)
• prover9_0.0.200911a-ok1_amd64.deb (73.3 KiB)
• prover9_0.0.200911a-ok1_arm64.deb (70.1 KiB)
• prover9_0.0.200911a-ok1_loong64.deb (97.3 KiB)
• prover9_0.0.200911a-ok1_riscv64.deb (71.4 KiB)