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