Index of /archive/pool/universe/l/ladr

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