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

../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            02-Jul-2026 12:05    156K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            02-Jul-2026 11:20    127K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb             02-Jul-2026 11:12    153K
ladr_0.0.200911a-2.1.debian.tar.xz                 02-Jul-2026 11:48     19K
ladr_0.0.200911a-2.1.dsc                           02-Jul-2026 11:48    1337
ladr_0.0.200911a.orig.tar.gz                       02-Jul-2026 11:48      2M
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           02-Jul-2026 10:53    278K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           02-Jul-2026 11:47    252K
libladr-dev_0.0.200911a-2.1+b2_i386.deb            02-Jul-2026 12:24    304K
libladr4_0.0.200911a-2.1+b2_amd64.deb              02-Jul-2026 11:37    184K
libladr4_0.0.200911a-2.1+b2_arm64.deb              02-Jul-2026 12:42    153K
libladr4_0.0.200911a-2.1+b2_i386.deb               02-Jul-2026 11:50    206K
prover9_0.0.200911a-2.1+b2_amd64.deb               02-Jul-2026 11:15    100K
prover9_0.0.200911a-2.1+b2_arm64.deb               02-Jul-2026 12:26     91K
prover9_0.0.200911a-2.1+b2_i386.deb                02-Jul-2026 11:45    107K