/debian/pool/main/l/ladr/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr_0.0.200911a.orig.tar.gz1.7 MiB2012-Dec-12 19:04
ladr_0.0.200911a-2.1.dsc1.3 KiB2014-Oct-09 10:53
ladr_0.0.200911a-2.1.debian.tar.xz18.9 KiB2014-Oct-09 10:53
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb127.0 KiB2017-Feb-24 18:12
prover9_0.0.200911a-2.1+b2_arm64.deb90.6 KiB2017-Feb-24 18:12
libladr4_0.0.200911a-2.1+b2_arm64.deb153.3 KiB2017-Feb-24 18:12
libladr-dev_0.0.200911a-2.1+b2_arm64.deb252.1 KiB2017-Feb-24 18:12
libladr4_0.0.200911a-2.1+b2_amd64.deb183.8 KiB2017-Feb-24 18:43
prover9_0.0.200911a-2.1+b2_amd64.deb100.4 KiB2017-Feb-24 18:43
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb156.1 KiB2017-Feb-24 18:43
libladr-dev_0.0.200911a-2.1+b2_amd64.deb278.2 KiB2017-Feb-24 18:43
libladr-dev_0.0.200911a-2.1+b2_i386.deb303.7 KiB2017-Feb-24 18:58
prover9_0.0.200911a-2.1+b2_i386.deb106.8 KiB2017-Feb-24 18:58
libladr4_0.0.200911a-2.1+b2_i386.deb206.0 KiB2017-Feb-24 18:58
ladr4-apps_0.0.200911a-2.1+b2_i386.deb152.9 KiB2017-Feb-24 18:58