Index of /ubuntu/pool/universe/l/ladr/
name
size
date
ladr4-apps_0.0.200911a-2.1build1_amd64.deb
134.0K
2018-04-04 21:23:47
libladr-dev_0.0.200911a-2.1build1_amd64.deb
255.8K
2018-04-04 21:23:47
libladr4_0.0.200911a-2.1build1_amd64.deb
163.7K
2018-04-04 21:23:47
prover9_0.0.200911a-2.1build1_amd64.deb
75.9K
2018-04-04 21:23:47
ladr4-apps_0.0.200911a-2.1build1_i386.deb
130.9K
2018-04-04 21:14:36
libladr-dev_0.0.200911a-2.1build1_i386.deb
280.6K
2018-04-04 21:14:36
libladr4_0.0.200911a-2.1build1_i386.deb
184.7K
2018-04-04 21:14:36
prover9_0.0.200911a-2.1build1_i386.deb
83.4K
2018-04-04 21:14:36
ladr_0.0.200911a-2.1build1.debian.tar.xz
19.0K
2018-04-04 21:14:06
ladr_0.0.200911a-2.1build1.dsc
2.1K
2018-04-04 21:14:06
prover9_0.0.200911a-2.1_i386.deb
76.2K
2014-10-24 21:38:28
ladr4-apps_0.0.200911a-2.1_i386.deb
117.3K
2014-10-24 21:38:27
libladr-dev_0.0.200911a-2.1_i386.deb
256.1K
2014-10-24 21:38:27
libladr4_0.0.200911a-2.1_i386.deb
182.1K
2014-10-24 21:38:27
ladr4-apps_0.0.200911a-2.1_amd64.deb
125.6K
2014-10-24 21:36:56
libladr4_0.0.200911a-2.1_amd64.deb
162.0K
2014-10-24 21:36:56
prover9_0.0.200911a-2.1_amd64.deb
73.6K
2014-10-24 21:36:56
libladr-dev_0.0.200911a-2.1_amd64.deb
248.3K
2014-10-24 21:36:55
ladr_0.0.200911a-2.1.debian.tar.xz
18.9K
2014-10-24 09:05:21
ladr_0.0.200911a-2.1.dsc
1.3K
2014-10-24 09:05:21
ladr4-apps_0.0.200911a-2_i386.deb
298.1K
2013-05-25 19:03:41
libladr-dev_0.0.200911a-2_i386.deb
328.8K
2013-05-25 19:03:41
libladr4_0.0.200911a-2_i386.deb
197.2K
2013-05-25 19:03:41
prover9_0.0.200911a-2_i386.deb
89.1K
2013-05-25 19:03:40
ladr4-apps_0.0.200911a-2_amd64.deb
314.3K
2013-05-25 19:03:28
libladr-dev_0.0.200911a-2_amd64.deb
349.5K
2013-05-25 19:03:28
libladr4_0.0.200911a-2_amd64.deb
193.9K
2013-05-25 19:03:28
prover9_0.0.200911a-2_amd64.deb
95.7K
2013-05-25 19:03:27
ladr_0.0.200911a-2.debian.tar.gz
22.0K
2013-05-25 17:33:41
ladr_0.0.200911a-2.dsc
1.3K
2013-05-25 17:33:41
ladr_0.0.200911a.orig.tar.gz
1.71M
2013-05-25 17:33:41