| Parent directory/ | - | - |
| ladr4-apps_0.0.200806a-1_amd64.deb | 355K | 29-Jun-2008 22:47 |
| ladr4-apps_0.0.200806a-1_i386.deb | 323K | 29-Jun-2008 22:17 |
| ladr4-apps_0.0.200902a-2_amd64.deb | 361K | 03-May-2009 17:47 |
| ladr4-apps_0.0.200902a-2_i386.deb | 327K | 03-May-2009 18:47 |
| libladr-dev_0.0.200806a-1_amd64.deb | 376K | 29-Jun-2008 22:47 |
| libladr-dev_0.0.200806a-1_i386.deb | 334K | 29-Jun-2008 22:17 |
| libladr-dev_0.0.200902a-2_amd64.deb | 392K | 03-May-2009 17:47 |
| libladr-dev_0.0.200902a-2_i386.deb | 348K | 03-May-2009 18:47 |
| libladr4_0.0.200806a-1_amd64.deb | 221K | 29-Jun-2008 22:47 |
| libladr4_0.0.200806a-1_i386.deb | 205K | 29-Jun-2008 22:17 |
| libladr4_0.0.200902a-2_amd64.deb | 233K | 03-May-2009 17:47 |
| libladr4_0.0.200902a-2_i386.deb | 215K | 03-May-2009 18:47 |
| prover9_0.0.200806a-1_amd64.deb | 120K | 29-Jun-2008 22:47 |
| prover9_0.0.200806a-1_i386.deb | 108K | 29-Jun-2008 22:17 |
| prover9_0.0.200902a-2_amd64.deb | 125K | 03-May-2009 17:47 |
| prover9_0.0.200902a-2_i386.deb | 115K | 03-May-2009 18:47 |