| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| ladr4-apps_0.0.200902a-2.1_amd64.deb | 13-Jan-2012 02:48 | 362K | ||
| ladr4-apps_0.0.200902a-2.1_i386.deb | 13-Jan-2012 03:50 | 348K | ||
| ladr4-apps_0.0.200902a-2_amd64.deb | 03-May-2009 19:47 | 361K | ||
| ladr4-apps_0.0.200902a-2_i386.deb | 03-May-2009 20:47 | 327K | ||
| libladr-dev_0.0.200902a-2.1_amd64.deb | 13-Jan-2012 02:48 | 398K | ||
| libladr-dev_0.0.200902a-2.1_i386.deb | 13-Jan-2012 03:50 | 379K | ||
| libladr-dev_0.0.200902a-2_amd64.deb | 03-May-2009 19:47 | 392K | ||
| libladr-dev_0.0.200902a-2_i386.deb | 03-May-2009 20:47 | 348K | ||
| libladr4_0.0.200902a-2.1_amd64.deb | 13-Jan-2012 02:48 | 239K | ||
| libladr4_0.0.200902a-2.1_i386.deb | 13-Jan-2012 03:50 | 245K | ||
| libladr4_0.0.200902a-2_amd64.deb | 03-May-2009 19:47 | 233K | ||
| libladr4_0.0.200902a-2_i386.deb | 03-May-2009 20:47 | 215K | ||
| prover9_0.0.200902a-2.1_amd64.deb | 13-Jan-2012 02:48 | 125K | ||
| prover9_0.0.200902a-2.1_i386.deb | 13-Jan-2012 03:50 | 121K | ||
| prover9_0.0.200902a-2_amd64.deb | 03-May-2009 19:47 | 125K | ||
| prover9_0.0.200902a-2_i386.deb | 03-May-2009 20:47 | 115K | ||