Index of /pool/universe/l/ladr

Name                    Last modified      Size  Description
Parent Directory                             -   
ladr_0.0.200911a-2.d..> 2013-05-25 20:33   22K  
ladr_0.0.200911a-2.dsc  2013-05-25 20:33  1.3K  
ladr_0.0.200911a.ori..> 2013-05-25 20:33  1.7M  
prover9_0.0.200911a-..> 2013-05-25 22:03   96K  
ladr4-apps_0.0.20091..> 2013-05-25 22:03  314K  
libladr-dev_0.0.2009..> 2013-05-25 22:03  349K  
libladr4_0.0.200911a..> 2013-05-25 22:03  194K  
prover9_0.0.200911a-..> 2013-05-25 22:03   89K  
ladr4-apps_0.0.20091..> 2013-05-25 22:03  298K  
libladr-dev_0.0.2009..> 2013-05-25 22:03  329K  
libladr4_0.0.200911a..> 2013-05-25 22:03  197K  
ladr_0.0.200911a-2.1..> 2014-10-24 12:05   19K  
ladr_0.0.200911a-2.1..> 2014-10-24 12:05  1.3K  
libladr-dev_0.0.2009..> 2014-10-25 00:36  248K  
ladr4-apps_0.0.20091..> 2014-10-25 00:36  126K  
libladr4_0.0.200911a..> 2014-10-25 00:36  162K  
prover9_0.0.200911a-..> 2014-10-25 00:36   74K  
ladr4-apps_0.0.20091..> 2014-10-25 00:38  117K  
libladr-dev_0.0.2009..> 2014-10-25 00:38  256K  
libladr4_0.0.200911a..> 2014-10-25 00:38  182K  
prover9_0.0.200911a-..> 2014-10-25 00:38   76K  
ladr_0.0.200911a-2.1..> 2018-04-05 00:14   19K  
ladr_0.0.200911a-2.1..> 2018-04-05 00:14  2.1K  
ladr4-apps_0.0.20091..> 2018-04-05 00:14  131K  
libladr-dev_0.0.2009..> 2018-04-05 00:14  281K  
libladr4_0.0.200911a..> 2018-04-05 00:14  185K  
prover9_0.0.200911a-..> 2018-04-05 00:14   83K  
ladr4-apps_0.0.20091..> 2018-04-05 00:23  134K  
libladr-dev_0.0.2009..> 2018-04-05 00:23  256K  
libladr4_0.0.200911a..> 2018-04-05 00:23  164K  
prover9_0.0.200911a-..> 2018-04-05 00:23   76K