Index of /pub/gnewsense/gnewsense-three/gnewsense/pool/main/l/ladr

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