Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 ladr4-apps_0.0.200806a-1_amd64.deb      30-Jun-2008 08:47  355K  
 ladr4-apps_0.0.200806a-1_i386.deb       30-Jun-2008 08:17  323K  
 ladr4-apps_0.0.200809a-1_amd64.deb      14-Sep-2008 21:47  357K  
 ladr4-apps_0.0.200809a-1_hurd-i386.deb  14-Sep-2008 19:17  327K  
 ladr4-apps_0.0.200809a-1_i386.deb       14-Sep-2008 13:47  325K  
 ladr_0.0.200806a-1.diff.gz              30-Jun-2008 08:17   20K  
 ladr_0.0.200806a-1.dsc                  30-Jun-2008 08:17  1.1K  
 ladr_0.0.200806a.orig.tar.gz            30-Jun-2008 08:17  1.6M  
 ladr_0.0.200809a-1.diff.gz              14-Sep-2008 13:47   17K  
 ladr_0.0.200809a-1.dsc                  14-Sep-2008 13:47  1.1K  
 ladr_0.0.200809a.orig.tar.gz            14-Sep-2008 13:47  1.7M  
 libladr-dev_0.0.200806a-1_amd64.deb     30-Jun-2008 08:47  376K  
 libladr-dev_0.0.200806a-1_i386.deb      30-Jun-2008 08:17  334K  
 libladr-dev_0.0.200809a-1_amd64.deb     14-Sep-2008 21:47  378K  
 libladr-dev_0.0.200809a-1_hurd-i386.deb 14-Sep-2008 19:17  334K  
 libladr-dev_0.0.200809a-1_i386.deb      14-Sep-2008 13:47  335K  
 libladr4_0.0.200806a-1_amd64.deb        30-Jun-2008 08:47  221K  
 libladr4_0.0.200806a-1_i386.deb         30-Jun-2008 08:17  205K  
 libladr4_0.0.200809a-1_amd64.deb        14-Sep-2008 21:47  222K  
 libladr4_0.0.200809a-1_hurd-i386.deb    14-Sep-2008 19:17  192K  
 libladr4_0.0.200809a-1_i386.deb         14-Sep-2008 13:47  206K  
 prover9_0.0.200806a-1_amd64.deb         30-Jun-2008 08:47  120K  
 prover9_0.0.200806a-1_i386.deb          30-Jun-2008 08:17  108K  
 prover9_0.0.200809a-1_amd64.deb         14-Sep-2008 21:47  121K  
 prover9_0.0.200809a-1_hurd-i386.deb     14-Sep-2008 19:17  110K  
 prover9_0.0.200809a-1_i386.deb          14-Sep-2008 13:47  110K