File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libladr-dev_0.0.200911a-2.1+b2_mipsel.deb293.2 KiB2017-Feb-24 20:59
prover9_0.0.200911a-2.1+b2_mipsel.deb96.8 KiB2017-Feb-24 20:59
ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb139.5 KiB2017-Feb-24 20:59
libladr4_0.0.200911a-2.1+b2_mipsel.deb159.6 KiB2017-Feb-24 20:59
ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb138.7 KiB2017-Feb-24 20:28
libladr4_0.0.200911a-2.1+b2_mips64el.deb158.9 KiB2017-Feb-24 20:28
libladr-dev_0.0.200911a-2.1+b2_mips64el.deb297.5 KiB2017-Feb-24 20:28
prover9_0.0.200911a-2.1+b2_mips64el.deb96.7 KiB2017-Feb-24 20:28
ladr4-apps_0.0.200911a-2.1+b2_i386.deb152.9 KiB2017-Feb-24 19:58
libladr-dev_0.0.200911a-2.1+b2_i386.deb303.7 KiB2017-Feb-24 19:58
libladr4_0.0.200911a-2.1+b2_i386.deb206.0 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_armel.deb155.2 KiB2017-Feb-24 19:58
prover9_0.0.200911a-2.1+b2_armel.deb94.4 KiB2017-Feb-24 19:58
ladr4-apps_0.0.200911a-2.1+b2_armel.deb130.6 KiB2017-Feb-24 19:58
libladr-dev_0.0.200911a-2.1+b2_armel.deb257.4 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_armhf.deb253.2 KiB2017-Feb-24 19:58
libladr4_0.0.200911a-2.1+b2_armhf.deb155.1 KiB2017-Feb-24 19:58
libladr4_0.0.200911a-2.1+b2_mips.deb156.4 KiB2017-Feb-24 19:43
prover9_0.0.200911a-2.1+b2_mips.deb95.3 KiB2017-Feb-24 19:43
ladr4-apps_0.0.200911a-2.1+b2_mips.deb134.9 KiB2017-Feb-24 19:43
libladr-dev_0.0.200911a-2.1+b2_mips.deb287.3 KiB2017-Feb-24 19:43
libladr-dev_0.0.200911a-2.1+b2_amd64.deb278.2 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
libladr4_0.0.200911a-2.1+b2_amd64.deb183.8 KiB2017-Feb-24 19:43
libladr4_0.0.200911a-2.1+b2_ppc64el.deb167.4 KiB2017-Feb-24 19:28
prover9_0.0.200911a-2.1+b2_ppc64el.deb94.8 KiB2017-Feb-24 19:28
ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb138.0 KiB2017-Feb-24 19:28
libladr-dev_0.0.200911a-2.1+b2_ppc64el.deb269.4 KiB2017-Feb-24 19:28
libladr4_0.0.200911a-2.1+b2_s390x.deb183.3 KiB2017-Feb-24 19:12
libladr-dev_0.0.200911a-2.1+b2_s390x.deb279.1 KiB2017-Feb-24 19:12
ladr4-apps_0.0.200911a-2.1+b2_s390x.deb142.5 KiB2017-Feb-24 19:12
prover9_0.0.200911a-2.1+b2_s390x.deb99.5 KiB2017-Feb-24 19:12
libladr-dev_0.0.200911a-2.1+b2_arm64.deb252.1 KiB2017-Feb-24 19:12
prover9_0.0.200911a-2.1+b2_arm64.deb90.6 KiB2017-Feb-24 19:12
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb127.0 KiB2017-Feb-24 19:12
libladr4_0.0.200911a-2.1+b2_arm64.deb153.3 KiB2017-Feb-24 19:12
prover9_0.0.200911a-2.1_armel.deb93.1 KiB2014-Oct-14 17:15
libladr-dev_0.0.200911a-2.1_armel.deb247.4 KiB2014-Oct-14 17:15
libladr4_0.0.200911a-2.1_armel.deb156.5 KiB2014-Oct-14 17:15
ladr4-apps_0.0.200911a-2.1_armel.deb131.4 KiB2014-Oct-14 17:15
prover9_0.0.200911a-2.1_mipsel.deb92.3 KiB2014-Oct-14 16:29
ladr4-apps_0.0.200911a-2.1_mipsel.deb135.3 KiB2014-Oct-14 16:29
ladr4-apps_0.0.200911a-2.1_armhf.deb134.1 KiB2014-Oct-14 16:29
libladr-dev_0.0.200911a-2.1_mipsel.deb280.1 KiB2014-Oct-14 16:29
prover9_0.0.200911a-2.1_armhf.deb92.0 KiB2014-Oct-14 16:29
libladr4_0.0.200911a-2.1_armhf.deb155.3 KiB2014-Oct-14 16:29
libladr-dev_0.0.200911a-2.1_armhf.deb247.9 KiB2014-Oct-14 16:29
libladr4_0.0.200911a-2.1_mipsel.deb157.1 KiB2014-Oct-14 16:29
libladr4_0.0.200911a-2.1_mips.deb154.3 KiB2014-Oct-14 15:44
prover9_0.0.200911a-2.1_mips.deb91.3 KiB2014-Oct-14 15:44
ladr4-apps_0.0.200911a-2.1_mips.deb129.1 KiB2014-Oct-14 15:44
libladr-dev_0.0.200911a-2.1_mips.deb274.8 KiB2014-Oct-14 15:44
prover9_0.0.200911a-2.1_kfreebsd-i386.deb100.6 KiB2014-Oct-14 15:34
ladr4-apps_0.0.200911a-2.1_kfreebsd-i386.deb153.2 KiB2014-Oct-14 15:34
libladr4_0.0.200911a-2.1_kfreebsd-i386.deb202.6 KiB2014-Oct-14 15:34
libladr-dev_0.0.200911a-2.1_kfreebsd-i386.deb280.4 KiB2014-Oct-14 15:34
libladr-dev_0.0.200911a-2.1_kfreebsd-amd64.deb271.2 KiB2014-Oct-14 14:43
ladr4-apps_0.0.200911a-2.1_kfreebsd-amd64.deb153.9 KiB2014-Oct-14 14:43
prover9_0.0.200911a-2.1_kfreebsd-amd64.deb97.4 KiB2014-Oct-14 14:43
libladr4_0.0.200911a-2.1_kfreebsd-amd64.deb183.3 KiB2014-Oct-14 14:43
ladr4-apps_0.0.200911a-2.1_arm64.deb140.3 KiB2014-Oct-14 14:28
libladr-dev_0.0.200911a-2.1_arm64.deb247.8 KiB2014-Oct-14 14:28
libladr4_0.0.200911a-2.1_arm64.deb153.4 KiB2014-Oct-14 14:28
prover9_0.0.200911a-2.1_arm64.deb93.1 KiB2014-Oct-14 14:28
libladr4_0.0.200911a-2.1_ppc64el.deb166.9 KiB2014-Oct-14 14:17
prover9_0.0.200911a-2.1_ppc64el.deb91.6 KiB2014-Oct-14 14:17
ladr4-apps_0.0.200911a-2.1_ppc64el.deb132.5 KiB2014-Oct-14 14:17
libladr-dev_0.0.200911a-2.1_ppc64el.deb264.7 KiB2014-Oct-14 14:17
libladr4_0.0.200911a-2.1_s390x.deb185.4 KiB2014-Oct-14 13:42
libladr-dev_0.0.200911a-2.1_s390x.deb277.6 KiB2014-Oct-14 13:42
prover9_0.0.200911a-2.1_s390x.deb102.6 KiB2014-Oct-14 13:42
ladr4-apps_0.0.200911a-2.1_s390x.deb151.9 KiB2014-Oct-14 13:42
prover9_0.0.200911a-2.1_powerpc.deb88.7 KiB2014-Oct-14 13:27
libladr4_0.0.200911a-2.1_powerpc.deb162.1 KiB2014-Oct-14 13:27
libladr-dev_0.0.200911a-2.1_powerpc.deb248.0 KiB2014-Oct-14 13:27
ladr4-apps_0.0.200911a-2.1_powerpc.deb120.2 KiB2014-Oct-14 13:27
ladr4-apps_0.0.200911a-2.1_i386.deb154.5 KiB2014-Oct-14 13:12
prover9_0.0.200911a-2.1_i386.deb100.5 KiB2014-Oct-14 13:12
libladr-dev_0.0.200911a-2.1_i386.deb277.8 KiB2014-Oct-14 13:12
libladr4_0.0.200911a-2.1_i386.deb202.3 KiB2014-Oct-14 13:12
ladr_0.0.200911a-2.1.dsc1.3 KiB2014-Oct-09 11:53
ladr4-apps_0.0.200911a-2.1_amd64.deb152.9 KiB2014-Oct-09 11:53
ladr_0.0.200911a-2.1.debian.tar.xz18.9 KiB2014-Oct-09 11:53
libladr4_0.0.200911a-2.1_amd64.deb182.7 KiB2014-Oct-09 11:53
libladr-dev_0.0.200911a-2.1_amd64.deb271.3 KiB2014-Oct-09 11:53
prover9_0.0.200911a-2.1_amd64.deb97.6 KiB2014-Oct-09 11:53
ladr_0.0.200911a.orig.tar.gz1.7 MiB2012-Dec-12 20:04
libladr-dev_0.0.200902a-2.1_mipsel.deb406.1 KiB2012-Jan-13 05:17
prover9_0.0.200902a-2.1_mipsel.deb115.0 KiB2012-Jan-13 05:17
ladr4-apps_0.0.200902a-2.1_mipsel.deb322.7 KiB2012-Jan-13 05:17
libladr4_0.0.200902a-2.1_mipsel.deb214.3 KiB2012-Jan-13 05:17
ladr4-apps_0.0.200902a-2.1_sparc.deb331.2 KiB2012-Jan-13 04:19
libladr-dev_0.0.200902a-2.1_sparc.deb365.9 KiB2012-Jan-13 04:19
libladr4_0.0.200902a-2.1_sparc.deb201.3 KiB2012-Jan-13 04:19
prover9_0.0.200902a-2.1_sparc.deb116.1 KiB2012-Jan-13 04:19
ladr4-apps_0.0.200902a-2.1_armel.deb348.3 KiB2012-Jan-13 04:18
prover9_0.0.200902a-2.1_armel.deb123.2 KiB2012-Jan-13 04:18
libladr-dev_0.0.200902a-2.1_armel.deb353.3 KiB2012-Jan-13 04:18
libladr4_0.0.200902a-2.1_armel.deb199.8 KiB2012-Jan-13 04:18
ladr4-apps_0.0.200902a-2.1_s390x.deb396.1 KiB2012-Jan-13 03:51
libladr4_0.0.200902a-2.1_s390x.deb247.3 KiB2012-Jan-13 03:51
libladr-dev_0.0.200902a-2.1_s390x.deb412.8 KiB2012-Jan-13 03:51
prover9_0.0.200902a-2.1_s390x.deb135.4 KiB2012-Jan-13 03:51
prover9_0.0.200902a-2.1_s390.deb132.5 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_s390.deb385.9 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_s390.deb392.9 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_s390.deb249.2 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_powerpc.deb232.1 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_powerpc.deb121.7 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_powerpc.deb348.3 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_powerpc.deb381.4 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_mips.deb213.7 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_mips.deb116.9 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_mips.deb325.3 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_mips.deb405.8 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_kfreebsd-i386.deb379.4 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_kfreebsd-i386.deb244.7 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_kfreebsd-i386.deb347.2 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_kfreebsd-i386.deb120.5 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_kfreebsd-amd64.deb402.2 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_kfreebsd-amd64.deb363.5 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_kfreebsd-amd64.deb125.6 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_kfreebsd-amd64.deb239.6 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_ia64.deb168.1 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_ia64.deb504.2 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_ia64.deb516.5 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_ia64.deb316.9 KiB2012-Jan-13 03:50
ladr4-apps_0.0.200902a-2.1_i386.deb348.4 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_i386.deb121.5 KiB2012-Jan-13 03:50
libladr-dev_0.0.200902a-2.1_i386.deb378.6 KiB2012-Jan-13 03:50
libladr4_0.0.200902a-2.1_i386.deb244.7 KiB2012-Jan-13 03:50
prover9_0.0.200902a-2.1_armhf.deb114.5 KiB2012-Jan-13 03:49
libladr4_0.0.200902a-2.1_armhf.deb187.5 KiB2012-Jan-13 03:49
libladr-dev_0.0.200902a-2.1_armhf.deb337.0 KiB2012-Jan-13 03:49
ladr4-apps_0.0.200902a-2.1_armhf.deb327.8 KiB2012-Jan-13 03:49
libladr4_0.0.200902a-2.1_amd64.deb239.4 KiB2012-Jan-13 02:48
libladr-dev_0.0.200902a-2.1_amd64.deb398.2 KiB2012-Jan-13 02:48
prover9_0.0.200902a-2.1_amd64.deb125.5 KiB2012-Jan-13 02:48
ladr_0.0.200902a-2.1.dsc1.9 KiB2012-Jan-13 02:48
ladr4-apps_0.0.200902a-2.1_amd64.deb362.0 KiB2012-Jan-13 02:48
ladr_0.0.200902a-2.1.diff.gz17.7 KiB2012-Jan-13 02:48
ladr4-apps_0.0.200902a-2_kfreebsd-i386.deb328.6 KiB2009-Jun-05 22:34
libladr4_0.0.200902a-2_kfreebsd-i386.deb215.5 KiB2009-Jun-05 22:34
libladr-dev_0.0.200902a-2_kfreebsd-i386.deb348.7 KiB2009-Jun-05 22:34
prover9_0.0.200902a-2_kfreebsd-i386.deb114.7 KiB2009-Jun-05 22:34
ladr4-apps_0.0.200902a-2_kfreebsd-amd64.deb360.5 KiB2009-Jun-01 22:50
libladr4_0.0.200902a-2_kfreebsd-amd64.deb233.0 KiB2009-Jun-01 22:50
prover9_0.0.200902a-2_kfreebsd-amd64.deb124.3 KiB2009-Jun-01 22:50
libladr-dev_0.0.200902a-2_kfreebsd-amd64.deb391.3 KiB2009-Jun-01 22:50
libladr4_0.0.200902a-2_mipsel.deb206.0 KiB2009-May-10 16:28
prover9_0.0.200902a-2_mipsel.deb119.9 KiB2009-May-10 16:28
ladr4-apps_0.0.200902a-2_mipsel.deb336.3 KiB2009-May-10 16:28
libladr-dev_0.0.200902a-2_mipsel.deb409.6 KiB2009-May-10 16:28
prover9_0.0.200902a-2_mips.deb120.2 KiB2009-May-09 13:47
libladr4_0.0.200902a-2_mips.deb205.9 KiB2009-May-09 13:47
libladr-dev_0.0.200902a-2_mips.deb410.0 KiB2009-May-09 13:47
ladr4-apps_0.0.200902a-2_mips.deb339.0 KiB2009-May-09 13:47
libladr-dev_0.0.200902a-2_s390.deb385.3 KiB2009-May-08 12:04
prover9_0.0.200902a-2_s390.deb129.6 KiB2009-May-08 12:04
libladr4_0.0.200902a-2_s390.deb246.5 KiB2009-May-08 12:04
ladr4-apps_0.0.200902a-2_s390.deb380.5 KiB2009-May-08 12:04
ladr4-apps_0.0.200902a-2_ia64.deb500.2 KiB2009-May-06 20:49
prover9_0.0.200902a-2_ia64.deb165.0 KiB2009-May-06 20:49
libladr4_0.0.200902a-2_ia64.deb311.7 KiB2009-May-06 20:49
libladr-dev_0.0.200902a-2_ia64.deb509.0 KiB2009-May-06 20:49
prover9_0.0.200902a-2_powerpc.deb133.8 KiB2009-May-04 16:34
libladr-dev_0.0.200902a-2_powerpc.deb385.1 KiB2009-May-04 16:34
libladr4_0.0.200902a-2_powerpc.deb238.1 KiB2009-May-04 16:34
ladr4-apps_0.0.200902a-2_powerpc.deb387.7 KiB2009-May-04 16:34
prover9_0.0.200902a-2_armel.deb116.8 KiB2009-May-03 22:32
libladr-dev_0.0.200902a-2_armel.deb355.3 KiB2009-May-03 22:32
ladr4-apps_0.0.200902a-2_armel.deb331.0 KiB2009-May-03 22:32
libladr4_0.0.200902a-2_armel.deb198.3 KiB2009-May-03 22:32
prover9_0.0.200902a-2_sparc.deb119.8 KiB2009-May-03 22:19
ladr4-apps_0.0.200902a-2_sparc.deb347.8 KiB2009-May-03 22:19
libladr-dev_0.0.200902a-2_sparc.deb358.9 KiB2009-May-03 22:19
libladr4_0.0.200902a-2_sparc.deb208.4 KiB2009-May-03 22:19
libladr4_0.0.200902a-2_i386.deb215.4 KiB2009-May-03 19:47
prover9_0.0.200902a-2_i386.deb114.6 KiB2009-May-03 19:47
libladr-dev_0.0.200902a-2_i386.deb347.8 KiB2009-May-03 19:47
ladr4-apps_0.0.200902a-2_i386.deb326.9 KiB2009-May-03 19:47
ladr_0.0.200902a-2.dsc1.1 KiB2009-May-03 18:47
libladr4_0.0.200902a-2_amd64.deb233.1 KiB2009-May-03 18:47
ladr4-apps_0.0.200902a-2_amd64.deb361.2 KiB2009-May-03 18:47
libladr-dev_0.0.200902a-2_amd64.deb391.5 KiB2009-May-03 18:47
ladr_0.0.200902a-2.diff.gz16.8 KiB2009-May-03 18:47
prover9_0.0.200902a-2_amd64.deb124.6 KiB2009-May-03 18:47
ladr_0.0.200902a.orig.tar.gz1.9 MiB2009-Mar-15 02:32
libladr-dev_0.0.200806a-1_alpha.deb460.6 KiB2008-Jul-10 01:02
ladr4-apps_0.0.200806a-1_alpha.deb372.7 KiB2008-Jul-10 01:02
libladr4_0.0.200806a-1_alpha.deb235.5 KiB2008-Jul-10 01:02
prover9_0.0.200806a-1_alpha.deb122.7 KiB2008-Jul-10 01:02
prover9_0.0.200806a-1_ia64.deb154.5 KiB2008-Jul-02 05:48
libladr4_0.0.200806a-1_ia64.deb296.0 KiB2008-Jul-02 05:48
libladr-dev_0.0.200806a-1_ia64.deb488.3 KiB2008-Jul-02 05:48
ladr4-apps_0.0.200806a-1_hppa.deb351.2 KiB2008-Jul-02 05:48
ladr4-apps_0.0.200806a-1_ia64.deb488.8 KiB2008-Jul-02 05:48
libladr-dev_0.0.200806a-1_hppa.deb391.7 KiB2008-Jul-02 05:48
libladr4_0.0.200806a-1_hppa.deb219.9 KiB2008-Jul-02 05:48
prover9_0.0.200806a-1_hppa.deb119.1 KiB2008-Jul-02 05:48
libladr-dev_0.0.200806a-1_sparc.deb342.9 KiB2008-Jul-01 23:17
libladr4_0.0.200806a-1_sparc.deb197.0 KiB2008-Jul-01 23:17
ladr4-apps_0.0.200806a-1_sparc.deb337.7 KiB2008-Jul-01 23:17
prover9_0.0.200806a-1_sparc.deb112.5 KiB2008-Jul-01 23:17
ladr4-apps_0.0.200806a-1_mips.deb329.8 KiB2008-Jul-01 00:32
prover9_0.0.200806a-1_mips.deb113.8 KiB2008-Jul-01 00:32
libladr4_0.0.200806a-1_mips.deb194.1 KiB2008-Jul-01 00:32
libladr-dev_0.0.200806a-1_mips.deb392.8 KiB2008-Jul-01 00:32
libladr-dev_0.0.200806a-1_powerpc.deb368.6 KiB2008-Jun-30 19:17
libladr4_0.0.200806a-1_mipsel.deb194.4 KiB2008-Jun-30 19:17
libladr4_0.0.200806a-1_powerpc.deb223.5 KiB2008-Jun-30 19:17
prover9_0.0.200806a-1_powerpc.deb132.0 KiB2008-Jun-30 19:17
ladr4-apps_0.0.200806a-1_powerpc.deb405.8 KiB2008-Jun-30 19:17
ladr4-apps_0.0.200806a-1_mipsel.deb329.3 KiB2008-Jun-30 19:17
prover9_0.0.200806a-1_mipsel.deb113.1 KiB2008-Jun-30 19:17
libladr-dev_0.0.200806a-1_mipsel.deb391.4 KiB2008-Jun-30 19:17
libladr-dev_0.0.200806a-1_s390.deb370.2 KiB2008-Jun-30 15:32
prover9_0.0.200806a-1_s390.deb121.6 KiB2008-Jun-30 15:32
ladr4-apps_0.0.200806a-1_s390.deb372.3 KiB2008-Jun-30 15:32
libladr4_0.0.200806a-1_s390.deb234.7 KiB2008-Jun-30 15:32
prover9_0.0.200806a-1_arm.deb106.4 KiB2008-Jun-30 09:47
ladr4-apps_0.0.200806a-1_arm.deb311.5 KiB2008-Jun-30 09:47
libladr-dev_0.0.200806a-1_arm.deb333.9 KiB2008-Jun-30 09:47
libladr4_0.0.200806a-1_arm.deb183.2 KiB2008-Jun-30 09:47
libladr4_0.0.200806a-1_armel.deb186.8 KiB2008-Jun-30 07:47
ladr4-apps_0.0.200806a-1_armel.deb324.2 KiB2008-Jun-30 07:47
libladr-dev_0.0.200806a-1_armel.deb337.6 KiB2008-Jun-30 07:47
prover9_0.0.200806a-1_armel.deb111.6 KiB2008-Jun-30 07:47
prover9_0.0.200806a-1_amd64.deb119.9 KiB2008-Jun-29 23:47
libladr-dev_0.0.200806a-1_amd64.deb376.5 KiB2008-Jun-29 23:47
ladr4-apps_0.0.200806a-1_amd64.deb355.3 KiB2008-Jun-29 23:47
libladr4_0.0.200806a-1_amd64.deb220.7 KiB2008-Jun-29 23:47
ladr_0.0.200806a-1.diff.gz20.2 KiB2008-Jun-29 23:17
ladr_0.0.200806a.orig.tar.gz1.6 MiB2008-Jun-29 23:17
ladr4-apps_0.0.200806a-1_i386.deb322.8 KiB2008-Jun-29 23:17
libladr4_0.0.200806a-1_i386.deb204.8 KiB2008-Jun-29 23:17
prover9_0.0.200806a-1_i386.deb108.4 KiB2008-Jun-29 23:17
libladr-dev_0.0.200806a-1_i386.deb334.2 KiB2008-Jun-29 23:17
ladr_0.0.200806a-1.dsc1.1 KiB2008-Jun-29 23:17