Index of /pardus/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            31-Oct-2025 16:51    156K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            31-Oct-2025 19:15    127K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb             31-Oct-2025 16:58    153K
ladr_0.0.200911a-2.1.debian.tar.xz                 31-Oct-2025 16:42     19K
ladr_0.0.200911a-2.1.dsc                           31-Oct-2025 16:42    1337
ladr_0.0.200911a.orig.tar.gz                       31-Oct-2025 16:42      2M
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           31-Oct-2025 16:41    278K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           31-Oct-2025 19:17    252K
libladr-dev_0.0.200911a-2.1+b2_i386.deb            31-Oct-2025 16:42    304K
libladr4_0.0.200911a-2.1+b2_amd64.deb              31-Oct-2025 16:57    184K
libladr4_0.0.200911a-2.1+b2_arm64.deb              31-Oct-2025 19:17    153K
libladr4_0.0.200911a-2.1+b2_i386.deb               31-Oct-2025 16:39    206K
prover9_0.0.200911a-2.1+b2_amd64.deb               31-Oct-2025 16:37    100K
prover9_0.0.200911a-2.1+b2_arm64.deb               31-Oct-2025 19:16     91K
prover9_0.0.200911a-2.1+b2_i386.deb                31-Oct-2025 16:48    107K