Index of /ubuntu/pool/universe/l/ladr
Name
Last modified
Size
Description
Parent Directory
-
libladr-dev_0.0.2009..>
2018-04-05 01:53
256K
libladr4_0.0.200911a..>
2018-04-05 01:53
164K
prover9_0.0.200911a-..>
2018-04-05 01:53
76K
ladr4-apps_0.0.20091..>
2018-04-05 01:53
134K
prover9_0.0.200911a-..>
2018-04-05 01:44
83K
ladr4-apps_0.0.20091..>
2018-04-05 01:44
131K
libladr-dev_0.0.2009..>
2018-04-05 01:44
281K
libladr4_0.0.200911a..>
2018-04-05 01:44
185K
ladr_0.0.200911a-2.1..>
2018-04-05 01:44
2.1K
ladr_0.0.200911a-2.1..>
2018-04-05 01:44
19K
prover9_0.0.200911a-..>
2014-10-25 01:08
76K
libladr-dev_0.0.2009..>
2014-10-25 01:08
256K
ladr4-apps_0.0.20091..>
2014-10-25 01:08
117K
libladr4_0.0.200911a..>
2014-10-25 01:08
182K
libladr4_0.0.200911a..>
2014-10-25 01:06
162K
prover9_0.0.200911a-..>
2014-10-25 01:06
74K
ladr4-apps_0.0.20091..>
2014-10-25 01:06
126K
libladr-dev_0.0.2009..>
2014-10-25 01:06
248K
ladr_0.0.200911a-2.1..>
2014-10-24 12:35
1.3K
ladr_0.0.200911a-2.1..>
2014-10-24 12:35
19K
ladr4-apps_0.0.20091..>
2013-05-25 23:33
298K
libladr-dev_0.0.2009..>
2013-05-25 23:33
329K
libladr4_0.0.200911a..>
2013-05-25 23:33
197K
prover9_0.0.200911a-..>
2013-05-25 23:33
89K
ladr4-apps_0.0.20091..>
2013-05-25 23:33
314K
libladr-dev_0.0.2009..>
2013-05-25 23:33
349K
libladr4_0.0.200911a..>
2013-05-25 23:33
194K
prover9_0.0.200911a-..>
2013-05-25 23:33
96K
ladr_0.0.200911a-2.dsc
2013-05-25 22:03
1.3K
ladr_0.0.200911a.ori..>
2013-05-25 22:03
1.7M
ladr_0.0.200911a-2.d..>
2013-05-25 22:03
22K