Index of /gnewsense/pool/main/l/ladr

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      prover9_0.0.200902a-2.1_mipsel.deb     2012-01-13 04:17  115K  
      libladr4_0.0.200902a-2.1_mipsel.deb    2012-01-13 04:17  214K  
      libladr-dev_0.0.200902a-2.1_mipsel.deb 2012-01-13 04:17  406K  
      ladr4-apps_0.0.200902a-2.1_mipsel.deb  2012-01-13 04:17  323K  
      prover9_0.0.200902a-2.1_i386.deb       2012-01-13 02:50  121K  
      libladr4_0.0.200902a-2.1_i386.deb      2012-01-13 02:50  245K  
      libladr-dev_0.0.200902a-2.1_i386.deb   2012-01-13 02:50  379K  
      ladr4-apps_0.0.200902a-2.1_i386.deb    2012-01-13 02:50  348K  
      prover9_0.0.200902a-2.1_amd64.deb      2012-01-13 01:48  125K  
      libladr4_0.0.200902a-2.1_amd64.deb     2012-01-13 01:48  239K  
      libladr-dev_0.0.200902a-2.1_amd64.deb  2012-01-13 01:48  398K  
      ladr_0.0.200902a-2.1.dsc               2012-01-13 01:48  1.9K  
      ladr_0.0.200902a-2.1.diff.gz           2012-01-13 01:48   18K  
      ladr4-apps_0.0.200902a-2.1_amd64.deb   2012-01-13 01:48  362K  
      prover9_0.0.200902a-2_mipsel.deb       2009-05-10 16:28  120K  
      libladr4_0.0.200902a-2_mipsel.deb      2009-05-10 16:28  206K  
      libladr-dev_0.0.200902a-2_mipsel.deb   2009-05-10 16:28  410K  
      ladr4-apps_0.0.200902a-2_mipsel.deb    2009-05-10 16:28  336K  
      prover9_0.0.200902a-2_i386.deb         2009-05-03 19:47  115K  
      libladr4_0.0.200902a-2_i386.deb        2009-05-03 19:47  215K  
      libladr-dev_0.0.200902a-2_i386.deb     2009-05-03 19:47  348K  
      ladr4-apps_0.0.200902a-2_i386.deb      2009-05-03 19:47  327K  
      prover9_0.0.200902a-2_amd64.deb        2009-05-03 18:47  125K  
      libladr4_0.0.200902a-2_amd64.deb       2009-05-03 18:47  233K  
      libladr-dev_0.0.200902a-2_amd64.deb    2009-05-03 18:47  392K  
      ladr_0.0.200902a-2.dsc                 2009-05-03 18:47  1.1K  
      ladr_0.0.200902a-2.diff.gz             2009-05-03 18:47   17K  
      ladr4-apps_0.0.200902a-2_amd64.deb     2009-05-03 18:47  361K  
      ladr_0.0.200902a.orig.tar.gz           2009-03-15 01:32  1.9M