Index of /ubuntu/pool/universe/l/ladr

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 ladr4-apps_0.0.200902a-2.1_amd64.deb  01-May-2012 19:04  335K  
 ladr4-apps_0.0.200902a-2.1_i386.deb   01-May-2012 15:35  321K  
 ladr4-apps_0.0.200902a-2_amd64.deb    19-May-2009 00:04  365K  
 ladr4-apps_0.0.200902a-2_i386.deb     18-May-2009 22:04  343K  
 ladr_0.0.200902a-2.1.diff.gz          01-May-2012 07:54   18K  
 ladr_0.0.200902a-2.1.dsc              01-May-2012 07:54  1.9K  
 ladr_0.0.200902a-2.diff.gz            18-May-2009 20:04   17K  
 ladr_0.0.200902a-2.dsc                18-May-2009 20:04  1.1K  
 ladr_0.0.200902a.orig.tar.gz          30-Apr-2009 18:04  1.9M  
 libladr-dev_0.0.200902a-2.1_amd64.deb 01-May-2012 19:04  379K  
 libladr-dev_0.0.200902a-2.1_i386.deb  01-May-2012 15:35  356K  
 libladr-dev_0.0.200902a-2_amd64.deb   19-May-2009 00:04  396K  
 libladr-dev_0.0.200902a-2_i386.deb    18-May-2009 22:04  368K  
 libladr4_0.0.200902a-2.1_amd64.deb    01-May-2012 19:04  215K  
 libladr4_0.0.200902a-2.1_i386.deb     01-May-2012 15:35  221K  
 libladr4_0.0.200902a-2_amd64.deb      19-May-2009 00:04  237K  
 libladr4_0.0.200902a-2_i386.deb       18-May-2009 22:04  240K  
 prover9_0.0.200902a-2.1_amd64.deb     01-May-2012 19:04  104K  
 prover9_0.0.200902a-2.1_i386.deb      01-May-2012 15:35   98K  
 prover9_0.0.200902a-2_amd64.deb       19-May-2009 00:04  126K  
 prover9_0.0.200902a-2_i386.deb        18-May-2009 22:04  119K