Index of /ubuntu/pool/universe/l/ladr
Name
Last modified
Size
Description
Parent Directory
-
libladr-dev_0.0.200911a-2.1build1_amd64.deb
2018-04-05 02:53
256K
libladr4_0.0.200911a-2.1build1_amd64.deb
2018-04-05 02:53
164K
prover9_0.0.200911a-2.1build1_amd64.deb
2018-04-05 02:53
76K
ladr4-apps_0.0.200911a-2.1build1_amd64.deb
2018-04-05 02:53
134K
prover9_0.0.200911a-2.1build1_i386.deb
2018-04-05 02:44
83K
ladr4-apps_0.0.200911a-2.1build1_i386.deb
2018-04-05 02:44
131K
libladr-dev_0.0.200911a-2.1build1_i386.deb
2018-04-05 02:44
281K
libladr4_0.0.200911a-2.1build1_i386.deb
2018-04-05 02:44
185K
ladr_0.0.200911a-2.1build1.dsc
2018-04-05 02:44
2.1K
ladr_0.0.200911a-2.1build1.debian.tar.xz
2018-04-05 02:44
19K
prover9_0.0.200911a-2.1_i386.deb
2014-10-25 03:08
76K
libladr-dev_0.0.200911a-2.1_i386.deb
2014-10-25 03:08
256K
ladr4-apps_0.0.200911a-2.1_i386.deb
2014-10-25 03:08
117K
libladr4_0.0.200911a-2.1_i386.deb
2014-10-25 03:08
182K
libladr4_0.0.200911a-2.1_amd64.deb
2014-10-25 03:06
162K
prover9_0.0.200911a-2.1_amd64.deb
2014-10-25 03:06
74K
ladr4-apps_0.0.200911a-2.1_amd64.deb
2014-10-25 03:06
126K
libladr-dev_0.0.200911a-2.1_amd64.deb
2014-10-25 03:06
248K
ladr_0.0.200911a-2.1.dsc
2014-10-24 14:35
1.3K
ladr_0.0.200911a-2.1.debian.tar.xz
2014-10-24 14:35
19K
ladr4-apps_0.0.200911a-2_i386.deb
2013-05-26 00:33
298K
libladr-dev_0.0.200911a-2_i386.deb
2013-05-26 00:33
329K
libladr4_0.0.200911a-2_i386.deb
2013-05-26 00:33
197K
prover9_0.0.200911a-2_i386.deb
2013-05-26 00:33
89K
ladr4-apps_0.0.200911a-2_amd64.deb
2013-05-26 00:33
314K
libladr-dev_0.0.200911a-2_amd64.deb
2013-05-26 00:33
349K
libladr4_0.0.200911a-2_amd64.deb
2013-05-26 00:33
194K
prover9_0.0.200911a-2_amd64.deb
2013-05-26 00:33
96K
ladr_0.0.200911a-2.dsc
2013-05-25 23:03
1.3K
ladr_0.0.200911a.orig.tar.gz
2013-05-25 23:03
1.7M
ladr_0.0.200911a-2.debian.tar.gz
2013-05-25 23:03
22K
Apache/2.4.58 (Ubuntu) Server at ftp.iitm.ac.in Port 443