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

Powered by:

Your donation powers our service to the FOSS community.

Current bandwidth utilization 311.47 Mbit/s | OSUOSL © 2012