Index of /debian-archive/debian/pool/main/l/ladr/

name	size	date
ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb	139.5K	2017-02-24 19:59:16
libladr-dev_0.0.200911a-2.1+b2_mipsel.deb	293.2K	2017-02-24 19:59:16
libladr4_0.0.200911a-2.1+b2_mipsel.deb	159.6K	2017-02-24 19:59:16
prover9_0.0.200911a-2.1+b2_mipsel.deb	96.8K	2017-02-24 19:59:16
ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb	138.7K	2017-02-24 19:28:52
libladr-dev_0.0.200911a-2.1+b2_mips64el.deb	297.5K	2017-02-24 19:28:52
libladr4_0.0.200911a-2.1+b2_mips64el.deb	158.9K	2017-02-24 19:28:52
prover9_0.0.200911a-2.1+b2_mips64el.deb	96.7K	2017-02-24 19:28:52
ladr4-apps_0.0.200911a-2.1+b2_i386.deb	152.9K	2017-02-24 18:58:38
libladr-dev_0.0.200911a-2.1+b2_i386.deb	303.7K	2017-02-24 18:58:38
libladr4_0.0.200911a-2.1+b2_i386.deb	206.0K	2017-02-24 18:58:38
prover9_0.0.200911a-2.1+b2_i386.deb	106.8K	2017-02-24 18:58:38
ladr4-apps_0.0.200911a-2.1+b2_armel.deb	130.6K	2017-02-24 18:58:36
libladr-dev_0.0.200911a-2.1+b2_armel.deb	257.4K	2017-02-24 18:58:36
libladr4_0.0.200911a-2.1+b2_armel.deb	155.2K	2017-02-24 18:58:36
prover9_0.0.200911a-2.1+b2_armel.deb	94.4K	2017-02-24 18:58:36
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb	129.9K	2017-02-24 18:58:35
libladr-dev_0.0.200911a-2.1+b2_armhf.deb	253.2K	2017-02-24 18:58:35
libladr4_0.0.200911a-2.1+b2_armhf.deb	155.1K	2017-02-24 18:58:35
prover9_0.0.200911a-2.1+b2_armhf.deb	94.3K	2017-02-24 18:58:35
ladr4-apps_0.0.200911a-2.1+b2_mips.deb	134.9K	2017-02-24 18:43:26
libladr-dev_0.0.200911a-2.1+b2_mips.deb	287.3K	2017-02-24 18:43:26
libladr4_0.0.200911a-2.1+b2_mips.deb	156.4K	2017-02-24 18:43:26
prover9_0.0.200911a-2.1+b2_mips.deb	95.3K	2017-02-24 18:43:26
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb	156.1K	2017-02-24 18:43:20
libladr-dev_0.0.200911a-2.1+b2_amd64.deb	278.2K	2017-02-24 18:43:20
libladr4_0.0.200911a-2.1+b2_amd64.deb	183.8K	2017-02-24 18:43:20
prover9_0.0.200911a-2.1+b2_amd64.deb	100.4K	2017-02-24 18:43:20
ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb	138.0K	2017-02-24 18:28:09
libladr-dev_0.0.200911a-2.1+b2_ppc64el.deb	269.4K	2017-02-24 18:28:09
libladr4_0.0.200911a-2.1+b2_ppc64el.deb	167.4K	2017-02-24 18:28:09
prover9_0.0.200911a-2.1+b2_ppc64el.deb	94.8K	2017-02-24 18:28:09
ladr4-apps_0.0.200911a-2.1+b2_s390x.deb	142.5K	2017-02-24 18:12:47
libladr-dev_0.0.200911a-2.1+b2_s390x.deb	279.1K	2017-02-24 18:12:47
libladr4_0.0.200911a-2.1+b2_s390x.deb	183.3K	2017-02-24 18:12:47
prover9_0.0.200911a-2.1+b2_s390x.deb	99.5K	2017-02-24 18:12:47
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb	127.0K	2017-02-24 18:12:42
libladr-dev_0.0.200911a-2.1+b2_arm64.deb	252.1K	2017-02-24 18:12:42
libladr4_0.0.200911a-2.1+b2_arm64.deb	153.3K	2017-02-24 18:12:42
prover9_0.0.200911a-2.1+b2_arm64.deb	90.6K	2017-02-24 18:12:42
ladr4-apps_0.0.200911a-2.1_armel.deb	131.4K	2014-10-14 16:15:01
libladr-dev_0.0.200911a-2.1_armel.deb	247.4K	2014-10-14 16:15:01
libladr4_0.0.200911a-2.1_armel.deb	156.5K	2014-10-14 16:15:01
prover9_0.0.200911a-2.1_armel.deb	93.1K	2014-10-14 16:15:01
ladr4-apps_0.0.200911a-2.1_armhf.deb	134.1K	2014-10-14 15:29:30
ladr4-apps_0.0.200911a-2.1_mipsel.deb	135.3K	2014-10-14 15:29:30
libladr-dev_0.0.200911a-2.1_armhf.deb	247.9K	2014-10-14 15:29:30
libladr-dev_0.0.200911a-2.1_mipsel.deb	280.1K	2014-10-14 15:29:30
libladr4_0.0.200911a-2.1_armhf.deb	155.3K	2014-10-14 15:29:30
libladr4_0.0.200911a-2.1_mipsel.deb	157.1K	2014-10-14 15:29:30
prover9_0.0.200911a-2.1_armhf.deb	92.0K	2014-10-14 15:29:30
prover9_0.0.200911a-2.1_mipsel.deb	92.3K	2014-10-14 15:29:30
ladr4-apps_0.0.200911a-2.1_mips.deb	129.1K	2014-10-14 14:44:15
libladr-dev_0.0.200911a-2.1_mips.deb	274.8K	2014-10-14 14:44:15
libladr4_0.0.200911a-2.1_mips.deb	154.3K	2014-10-14 14:44:15
prover9_0.0.200911a-2.1_mips.deb	91.3K	2014-10-14 14:44:15
ladr4-apps_0.0.200911a-2.1_kfreebsd-i386.deb	153.2K	2014-10-14 14:34:11
libladr-dev_0.0.200911a-2.1_kfreebsd-i386.deb	280.4K	2014-10-14 14:34:11
libladr4_0.0.200911a-2.1_kfreebsd-i386.deb	202.6K	2014-10-14 14:34:11
prover9_0.0.200911a-2.1_kfreebsd-i386.deb	100.6K	2014-10-14 14:34:11
ladr4-apps_0.0.200911a-2.1_kfreebsd-amd64.deb	153.9K	2014-10-14 13:43:45
libladr-dev_0.0.200911a-2.1_kfreebsd-amd64.deb	271.2K	2014-10-14 13:43:45
libladr4_0.0.200911a-2.1_kfreebsd-amd64.deb	183.3K	2014-10-14 13:43:45
prover9_0.0.200911a-2.1_kfreebsd-amd64.deb	97.4K	2014-10-14 13:43:45
ladr4-apps_0.0.200911a-2.1_arm64.deb	140.3K	2014-10-14 13:28:06
libladr-dev_0.0.200911a-2.1_arm64.deb	247.8K	2014-10-14 13:28:06
libladr4_0.0.200911a-2.1_arm64.deb	153.4K	2014-10-14 13:28:06
prover9_0.0.200911a-2.1_arm64.deb	93.1K	2014-10-14 13:28:06
ladr4-apps_0.0.200911a-2.1_ppc64el.deb	132.5K	2014-10-14 13:17:57
libladr-dev_0.0.200911a-2.1_ppc64el.deb	264.7K	2014-10-14 13:17:57
libladr4_0.0.200911a-2.1_ppc64el.deb	166.9K	2014-10-14 13:17:57
prover9_0.0.200911a-2.1_ppc64el.deb	91.6K	2014-10-14 13:17:57
ladr4-apps_0.0.200911a-2.1_s390x.deb	151.9K	2014-10-14 12:42:36
libladr-dev_0.0.200911a-2.1_s390x.deb	277.6K	2014-10-14 12:42:36
libladr4_0.0.200911a-2.1_s390x.deb	185.4K	2014-10-14 12:42:36
prover9_0.0.200911a-2.1_s390x.deb	102.6K	2014-10-14 12:42:36
ladr4-apps_0.0.200911a-2.1_powerpc.deb	120.2K	2014-10-14 12:27:31
libladr-dev_0.0.200911a-2.1_powerpc.deb	248.0K	2014-10-14 12:27:31
libladr4_0.0.200911a-2.1_powerpc.deb	162.1K	2014-10-14 12:27:31
prover9_0.0.200911a-2.1_powerpc.deb	88.7K	2014-10-14 12:27:31
ladr4-apps_0.0.200911a-2.1_i386.deb	154.5K	2014-10-14 12:12:11
libladr-dev_0.0.200911a-2.1_i386.deb	277.8K	2014-10-14 12:12:11
libladr4_0.0.200911a-2.1_i386.deb	202.3K	2014-10-14 12:12:11
prover9_0.0.200911a-2.1_i386.deb	100.5K	2014-10-14 12:12:11
ladr4-apps_0.0.200911a-2.1_amd64.deb	152.9K	2014-10-09 10:53:00
ladr_0.0.200911a-2.1.debian.tar.xz	18.9K	2014-10-09 10:53:00
ladr_0.0.200911a-2.1.dsc	1.3K	2014-10-09 10:53:00
libladr-dev_0.0.200911a-2.1_amd64.deb	271.3K	2014-10-09 10:53:00
libladr4_0.0.200911a-2.1_amd64.deb	182.7K	2014-10-09 10:53:00
prover9_0.0.200911a-2.1_amd64.deb	97.6K	2014-10-09 10:53:00
ladr_0.0.200911a.orig.tar.gz	1.71M	2012-12-12 19:04:01
ladr4-apps_0.0.200902a-2.1_mipsel.deb	322.7K	2012-01-13 04:17:43
libladr-dev_0.0.200902a-2.1_mipsel.deb	406.1K	2012-01-13 04:17:43
libladr4_0.0.200902a-2.1_mipsel.deb	214.3K	2012-01-13 04:17:43
prover9_0.0.200902a-2.1_mipsel.deb	115.0K	2012-01-13 04:17:43
ladr4-apps_0.0.200902a-2.1_sparc.deb	331.2K	2012-01-13 03:19:05
libladr-dev_0.0.200902a-2.1_sparc.deb	365.9K	2012-01-13 03:19:05
libladr4_0.0.200902a-2.1_sparc.deb	201.3K	2012-01-13 03:19:05
prover9_0.0.200902a-2.1_sparc.deb	116.1K	2012-01-13 03:19:05
ladr4-apps_0.0.200902a-2.1_armel.deb	348.3K	2012-01-13 03:18:55
libladr-dev_0.0.200902a-2.1_armel.deb	353.3K	2012-01-13 03:18:55
libladr4_0.0.200902a-2.1_armel.deb	199.8K	2012-01-13 03:18:55
prover9_0.0.200902a-2.1_armel.deb	123.2K	2012-01-13 03:18:55
ladr4-apps_0.0.200902a-2.1_s390x.deb	396.1K	2012-01-13 02:51:07
libladr-dev_0.0.200902a-2.1_s390x.deb	412.8K	2012-01-13 02:51:07
libladr4_0.0.200902a-2.1_s390x.deb	247.3K	2012-01-13 02:51:07
prover9_0.0.200902a-2.1_s390x.deb	135.4K	2012-01-13 02:51:07
ladr4-apps_0.0.200902a-2.1_s390.deb	385.9K	2012-01-13 02:50:59
libladr-dev_0.0.200902a-2.1_s390.deb	392.9K	2012-01-13 02:50:59
libladr4_0.0.200902a-2.1_s390.deb	249.2K	2012-01-13 02:50:59
prover9_0.0.200902a-2.1_s390.deb	132.5K	2012-01-13 02:50:59
ladr4-apps_0.0.200902a-2.1_powerpc.deb	348.3K	2012-01-13 02:50:51
libladr-dev_0.0.200902a-2.1_powerpc.deb	381.4K	2012-01-13 02:50:51
libladr4_0.0.200902a-2.1_powerpc.deb	232.1K	2012-01-13 02:50:51
prover9_0.0.200902a-2.1_powerpc.deb	121.7K	2012-01-13 02:50:51
ladr4-apps_0.0.200902a-2.1_mips.deb	325.3K	2012-01-13 02:50:41
libladr-dev_0.0.200902a-2.1_mips.deb	405.8K	2012-01-13 02:50:41
libladr4_0.0.200902a-2.1_mips.deb	213.7K	2012-01-13 02:50:41
prover9_0.0.200902a-2.1_mips.deb	116.9K	2012-01-13 02:50:41
ladr4-apps_0.0.200902a-2.1_kfreebsd-i386.deb	347.2K	2012-01-13 02:50:34
libladr-dev_0.0.200902a-2.1_kfreebsd-i386.deb	379.4K	2012-01-13 02:50:34
libladr4_0.0.200902a-2.1_kfreebsd-i386.deb	244.7K	2012-01-13 02:50:34
prover9_0.0.200902a-2.1_kfreebsd-i386.deb	120.5K	2012-01-13 02:50:34
ladr4-apps_0.0.200902a-2.1_kfreebsd-amd64.deb	363.5K	2012-01-13 02:50:26
libladr-dev_0.0.200902a-2.1_kfreebsd-amd64.deb	402.2K	2012-01-13 02:50:26
libladr4_0.0.200902a-2.1_kfreebsd-amd64.deb	239.6K	2012-01-13 02:50:26
prover9_0.0.200902a-2.1_kfreebsd-amd64.deb	125.6K	2012-01-13 02:50:26
ladr4-apps_0.0.200902a-2.1_ia64.deb	504.2K	2012-01-13 02:50:18
libladr-dev_0.0.200902a-2.1_ia64.deb	0.50M	2012-01-13 02:50:18
libladr4_0.0.200902a-2.1_ia64.deb	316.9K	2012-01-13 02:50:18
prover9_0.0.200902a-2.1_ia64.deb	168.1K	2012-01-13 02:50:18
ladr4-apps_0.0.200902a-2.1_i386.deb	348.4K	2012-01-13 02:50:10
libladr-dev_0.0.200902a-2.1_i386.deb	378.6K	2012-01-13 02:50:10
libladr4_0.0.200902a-2.1_i386.deb	244.7K	2012-01-13 02:50:10
prover9_0.0.200902a-2.1_i386.deb	121.5K	2012-01-13 02:50:10
ladr4-apps_0.0.200902a-2.1_armhf.deb	327.8K	2012-01-13 02:49:52
libladr-dev_0.0.200902a-2.1_armhf.deb	337.0K	2012-01-13 02:49:52
libladr4_0.0.200902a-2.1_armhf.deb	187.5K	2012-01-13 02:49:52
prover9_0.0.200902a-2.1_armhf.deb	114.5K	2012-01-13 02:49:52
ladr4-apps_0.0.200902a-2.1_amd64.deb	362.0K	2012-01-13 01:48:07
ladr_0.0.200902a-2.1.diff.gz	17.7K	2012-01-13 01:48:07
ladr_0.0.200902a-2.1.dsc	1.9K	2012-01-13 01:48:07
libladr-dev_0.0.200902a-2.1_amd64.deb	398.2K	2012-01-13 01:48:07
libladr4_0.0.200902a-2.1_amd64.deb	239.4K	2012-01-13 01:48:07
prover9_0.0.200902a-2.1_amd64.deb	125.5K	2012-01-13 01:48:07
ladr4-apps_0.0.200902a-2_kfreebsd-i386.deb	328.6K	2009-06-05 21:34:06
libladr-dev_0.0.200902a-2_kfreebsd-i386.deb	348.7K	2009-06-05 21:34:06
libladr4_0.0.200902a-2_kfreebsd-i386.deb	215.5K	2009-06-05 21:34:06
prover9_0.0.200902a-2_kfreebsd-i386.deb	114.7K	2009-06-05 21:34:06
ladr4-apps_0.0.200902a-2_kfreebsd-amd64.deb	360.5K	2009-06-01 21:50:48
libladr4_0.0.200902a-2_kfreebsd-amd64.deb	233.0K	2009-06-01 21:50:48
libladr-dev_0.0.200902a-2_kfreebsd-amd64.deb	391.3K	2009-06-01 21:50:47
prover9_0.0.200902a-2_kfreebsd-amd64.deb	124.3K	2009-06-01 21:50:47
ladr4-apps_0.0.200902a-2_mipsel.deb	336.3K	2009-05-10 15:28:43
libladr-dev_0.0.200902a-2_mipsel.deb	409.6K	2009-05-10 15:28:43
libladr4_0.0.200902a-2_mipsel.deb	206.0K	2009-05-10 15:28:43
prover9_0.0.200902a-2_mipsel.deb	119.9K	2009-05-10 15:28:43
ladr4-apps_0.0.200902a-2_mips.deb	339.0K	2009-05-09 12:47:40
libladr-dev_0.0.200902a-2_mips.deb	410.0K	2009-05-09 12:47:40
libladr4_0.0.200902a-2_mips.deb	205.9K	2009-05-09 12:47:40
prover9_0.0.200902a-2_mips.deb	120.2K	2009-05-09 12:47:40
ladr4-apps_0.0.200902a-2_s390.deb	380.5K	2009-05-08 11:04:12
libladr-dev_0.0.200902a-2_s390.deb	385.3K	2009-05-08 11:04:12
libladr4_0.0.200902a-2_s390.deb	246.5K	2009-05-08 11:04:12
prover9_0.0.200902a-2_s390.deb	129.6K	2009-05-08 11:04:12
ladr4-apps_0.0.200902a-2_ia64.deb	500.2K	2009-05-06 19:49:49
libladr-dev_0.0.200902a-2_ia64.deb	509.0K	2009-05-06 19:49:49
libladr4_0.0.200902a-2_ia64.deb	311.7K	2009-05-06 19:49:49
prover9_0.0.200902a-2_ia64.deb	165.0K	2009-05-06 19:49:49
ladr4-apps_0.0.200902a-2_powerpc.deb	387.7K	2009-05-04 15:34:17
libladr-dev_0.0.200902a-2_powerpc.deb	385.1K	2009-05-04 15:34:17
libladr4_0.0.200902a-2_powerpc.deb	238.1K	2009-05-04 15:34:17
prover9_0.0.200902a-2_powerpc.deb	133.8K	2009-05-04 15:34:17
ladr4-apps_0.0.200902a-2_armel.deb	331.0K	2009-05-03 21:32:03
libladr-dev_0.0.200902a-2_armel.deb	355.3K	2009-05-03 21:32:03
libladr4_0.0.200902a-2_armel.deb	198.3K	2009-05-03 21:32:03
prover9_0.0.200902a-2_armel.deb	116.8K	2009-05-03 21:32:03
ladr4-apps_0.0.200902a-2_sparc.deb	347.8K	2009-05-03 21:19:11
libladr-dev_0.0.200902a-2_sparc.deb	358.9K	2009-05-03 21:19:11
prover9_0.0.200902a-2_sparc.deb	119.8K	2009-05-03 21:19:11
libladr4_0.0.200902a-2_sparc.deb	208.4K	2009-05-03 21:19:10
ladr4-apps_0.0.200902a-2_i386.deb	326.9K	2009-05-03 18:47:54
libladr-dev_0.0.200902a-2_i386.deb	347.8K	2009-05-03 18:47:54
libladr4_0.0.200902a-2_i386.deb	215.4K	2009-05-03 18:47:54
prover9_0.0.200902a-2_i386.deb	114.6K	2009-05-03 18:47:54
ladr4-apps_0.0.200902a-2_amd64.deb	361.2K	2009-05-03 17:47:02
ladr_0.0.200902a-2.diff.gz	16.8K	2009-05-03 17:47:02
ladr_0.0.200902a-2.dsc	1.1K	2009-05-03 17:47:02
libladr-dev_0.0.200902a-2_amd64.deb	391.5K	2009-05-03 17:47:02
libladr4_0.0.200902a-2_amd64.deb	233.1K	2009-05-03 17:47:02
prover9_0.0.200902a-2_amd64.deb	124.6K	2009-05-03 17:47:02
ladr_0.0.200902a.orig.tar.gz	1.88M	2009-03-15 01:32:01
ladr4-apps_0.0.200806a-1_alpha.deb	372.7K	2008-07-10 00:02:03
libladr-dev_0.0.200806a-1_alpha.deb	460.6K	2008-07-10 00:02:03
libladr4_0.0.200806a-1_alpha.deb	235.5K	2008-07-10 00:02:03
prover9_0.0.200806a-1_alpha.deb	122.7K	2008-07-10 00:02:03
ladr4-apps_0.0.200806a-1_hppa.deb	351.2K	2008-07-02 04:48:14
ladr4-apps_0.0.200806a-1_ia64.deb	488.8K	2008-07-02 04:48:14
libladr-dev_0.0.200806a-1_hppa.deb	391.7K	2008-07-02 04:48:14
libladr-dev_0.0.200806a-1_ia64.deb	488.3K	2008-07-02 04:48:14
libladr4_0.0.200806a-1_hppa.deb	219.9K	2008-07-02 04:48:14
libladr4_0.0.200806a-1_ia64.deb	296.0K	2008-07-02 04:48:14
prover9_0.0.200806a-1_hppa.deb	119.1K	2008-07-02 04:48:14
prover9_0.0.200806a-1_ia64.deb	154.5K	2008-07-02 04:48:14
ladr4-apps_0.0.200806a-1_sparc.deb	337.7K	2008-07-01 22:17:04
libladr-dev_0.0.200806a-1_sparc.deb	342.9K	2008-07-01 22:17:04
libladr4_0.0.200806a-1_sparc.deb	197.0K	2008-07-01 22:17:04
prover9_0.0.200806a-1_sparc.deb	112.5K	2008-07-01 22:17:04
ladr4-apps_0.0.200806a-1_mips.deb	329.8K	2008-06-30 23:32:04
libladr-dev_0.0.200806a-1_mips.deb	392.8K	2008-06-30 23:32:04
libladr4_0.0.200806a-1_mips.deb	194.1K	2008-06-30 23:32:04
prover9_0.0.200806a-1_mips.deb	113.8K	2008-06-30 23:32:04
ladr4-apps_0.0.200806a-1_mipsel.deb	329.3K	2008-06-30 18:17:21
ladr4-apps_0.0.200806a-1_powerpc.deb	405.8K	2008-06-30 18:17:21
libladr-dev_0.0.200806a-1_mipsel.deb	391.4K	2008-06-30 18:17:21
libladr-dev_0.0.200806a-1_powerpc.deb	368.6K	2008-06-30 18:17:21
libladr4_0.0.200806a-1_mipsel.deb	194.4K	2008-06-30 18:17:21
libladr4_0.0.200806a-1_powerpc.deb	223.5K	2008-06-30 18:17:21
prover9_0.0.200806a-1_mipsel.deb	113.1K	2008-06-30 18:17:21
prover9_0.0.200806a-1_powerpc.deb	132.0K	2008-06-30 18:17:21
libladr-dev_0.0.200806a-1_s390.deb	370.2K	2008-06-30 14:32:27
prover9_0.0.200806a-1_s390.deb	121.6K	2008-06-30 14:32:27
ladr4-apps_0.0.200806a-1_s390.deb	372.3K	2008-06-30 14:32:26
libladr4_0.0.200806a-1_s390.deb	234.7K	2008-06-30 14:32:26
ladr4-apps_0.0.200806a-1_arm.deb	311.5K	2008-06-30 08:47:48
libladr-dev_0.0.200806a-1_arm.deb	333.9K	2008-06-30 08:47:48
prover9_0.0.200806a-1_arm.deb	106.4K	2008-06-30 08:47:48
libladr4_0.0.200806a-1_arm.deb	183.2K	2008-06-30 08:47:47
ladr4-apps_0.0.200806a-1_armel.deb	324.2K	2008-06-30 06:47:10
libladr-dev_0.0.200806a-1_armel.deb	337.6K	2008-06-30 06:47:10
libladr4_0.0.200806a-1_armel.deb	186.8K	2008-06-30 06:47:10
prover9_0.0.200806a-1_armel.deb	111.6K	2008-06-30 06:47:10
ladr4-apps_0.0.200806a-1_amd64.deb	355.3K	2008-06-29 22:47:03
libladr-dev_0.0.200806a-1_amd64.deb	376.5K	2008-06-29 22:47:03
libladr4_0.0.200806a-1_amd64.deb	220.7K	2008-06-29 22:47:03
prover9_0.0.200806a-1_amd64.deb	119.9K	2008-06-29 22:47:03
ladr4-apps_0.0.200806a-1_i386.deb	322.8K	2008-06-29 22:17:04
ladr_0.0.200806a-1.diff.gz	20.2K	2008-06-29 22:17:04
ladr_0.0.200806a-1.dsc	1.1K	2008-06-29 22:17:04
ladr_0.0.200806a.orig.tar.gz	1.60M	2008-06-29 22:17:04
libladr-dev_0.0.200806a-1_i386.deb	334.2K	2008-06-29 22:17:04
libladr4_0.0.200806a-1_i386.deb	204.8K	2008-06-29 22:17:04
prover9_0.0.200806a-1_i386.deb	108.4K	2008-06-29 22:17:04