Index of /liweinan/uos/openkylin/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-ok1_amd64.deb               30-Oct-2025 15:05              126472
ladr4-apps_0.0.200911a-ok1_arm64.deb               31-Oct-2025 04:06              112212
ladr4-apps_0.0.200911a-ok1_loong64.deb             30-Oct-2025 16:26              144660
ladr4-apps_0.0.200911a-ok1_riscv64.deb             03-Nov-2025 19:04              116520
ladr_0.0.200911a-ok1.debian.tar.xz                 30-Oct-2025 14:09               17896
ladr_0.0.200911a-ok1.dsc                           30-Oct-2025 14:09                1857
ladr_0.0.200911a.orig.tar.gz                       30-Oct-2025 14:09             1795750
libladr-dev_0.0.200911a-ok1_amd64.deb              30-Oct-2025 15:05              253656
libladr-dev_0.0.200911a-ok1_arm64.deb              31-Oct-2025 04:06              255404
libladr-dev_0.0.200911a-ok1_loong64.deb            30-Oct-2025 16:26              382420
libladr-dev_0.0.200911a-ok1_riscv64.deb            03-Nov-2025 19:04              315412
libladr4_0.0.200911a-ok1_amd64.deb                 30-Oct-2025 15:05              162064
libladr4_0.0.200911a-ok1_arm64.deb                 31-Oct-2025 04:06              153456
libladr4_0.0.200911a-ok1_loong64.deb               30-Oct-2025 16:26              188452
libladr4_0.0.200911a-ok1_riscv64.deb               03-Nov-2025 19:04              140304
prover9_0.0.200911a-ok1_amd64.deb                  30-Oct-2025 15:05               75020
prover9_0.0.200911a-ok1_arm64.deb                  31-Oct-2025 04:06               71816
prover9_0.0.200911a-ok1_loong64.deb                30-Oct-2025 16:26               99628
prover9_0.0.200911a-ok1_riscv64.deb                03-Nov-2025 19:04               73156