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 20:04  335K  
      ladr4-apps_0.0.200902a-2.1_i386.deb   01-May-2012 16:35  321K  
      ladr4-apps_0.0.200902a-2_amd64.deb    19-May-2009 01:04  365K  
      ladr4-apps_0.0.200902a-2_i386.deb     18-May-2009 23:04  343K  
      ladr_0.0.200902a-2.1.diff.gz          01-May-2012 08:54   18K  
      ladr_0.0.200902a-2.1.dsc              01-May-2012 08:54  1.9K  
      ladr_0.0.200902a-2.diff.gz            18-May-2009 21:04   17K  
      ladr_0.0.200902a-2.dsc                18-May-2009 21:04  1.1K  
      ladr_0.0.200902a.orig.tar.gz          30-Apr-2009 19:04  1.9M  
      libladr-dev_0.0.200902a-2.1_amd64.deb 01-May-2012 20:04  379K  
      libladr-dev_0.0.200902a-2.1_i386.deb  01-May-2012 16:35  356K  
      libladr-dev_0.0.200902a-2_amd64.deb   19-May-2009 01:04  396K  
      libladr-dev_0.0.200902a-2_i386.deb    18-May-2009 23:04  368K  
      libladr4_0.0.200902a-2.1_amd64.deb    01-May-2012 20:04  215K  
      libladr4_0.0.200902a-2.1_i386.deb     01-May-2012 16:35  221K  
      libladr4_0.0.200902a-2_amd64.deb      19-May-2009 01:04  237K  
      libladr4_0.0.200902a-2_i386.deb       18-May-2009 23:04  240K  
      prover9_0.0.200902a-2.1_amd64.deb     01-May-2012 20:04  104K  
      prover9_0.0.200902a-2.1_i386.deb      01-May-2012 16:35   98K  
      prover9_0.0.200902a-2_amd64.deb       19-May-2009 01:04  126K  
      prover9_0.0.200902a-2_i386.deb        18-May-2009 23:04  119K