| Parent directory/ | - | - |
| ladr4-apps_0.0.200911a-2.1+b2_amd64.deb | 156K | 24-Feb-2017 18:43 |
| ladr4-apps_0.0.200911a-2.1_amd64.deb | 153K | 16-Aug-2017 12:42 |
| ladr4-apps_0.0.200911a-2_amd64.deb | 335K | 15-Sep-2017 21:45 |
| ladr_0.0.200911a-2.1.debian.tar.xz | 19K | 09-Oct-2014 10:53 |
| ladr_0.0.200911a-2.1.dsc | 1337 | 09-Oct-2014 10:53 |
| ladr_0.0.200911a.orig.tar.gz | 2M | 12-Dec-2012 19:04 |
| libladr-dev_0.0.200911a-2.1+b2_amd64.deb | 278K | 24-Feb-2017 18:43 |
| libladr-dev_0.0.200911a-2.1_amd64.deb | 271K | 17-Aug-2017 21:02 |
| libladr-dev_0.0.200911a-2_amd64.deb | 378K | 17-Sep-2017 13:14 |
| libladr4_0.0.200911a-2.1+b2_amd64.deb | 184K | 24-Feb-2017 18:43 |
| libladr4_0.0.200911a-2.1_amd64.deb | 183K | 17-Aug-2017 21:02 |
| libladr4_0.0.200911a-2_amd64.deb | 217K | 17-Sep-2017 13:14 |
| prover9_0.0.200911a-2.1+b2_amd64.deb | 100K | 24-Feb-2017 18:43 |
| prover9_0.0.200911a-2.1_amd64.deb | 98K | 20-Aug-2017 14:54 |
| prover9_0.0.200911a-2_amd64.deb | 119K | 20-Sep-2017 02:46 |