| 📂 Parent Directory | | |
| 📄 ladr4-apps_0.0.200911a-2.1+b2_amd64.deb | 2017-02-24 18:43:20 | 156.12 KB |
| 📄 ladr4-apps_0.0.200911a-2.1+b2_arm64.deb | 2017-02-24 18:12:42 | 127.04 KB |
| 📄 ladr4-apps_0.0.200911a-2.1+b2_armhf.deb | 2017-02-24 18:58:35 | 129.93 KB |
| 📄 ladr4-apps_0.0.200911a-2.1+b2_i386.deb | 2017-02-24 18:58:38 | 152.94 KB |
| 📄 ladr_0.0.200911a-2.1.debian.tar.xz | 2014-10-09 10:53:00 | 18.93 KB |
| 📄 ladr_0.0.200911a-2.1.dsc | 2014-10-09 10:53:00 | 1.31 KB |
| 📄 ladr_0.0.200911a.orig.tar.gz | 2012-12-12 19:04:01 | 1.71 MB |
| 📄 libladr-dev_0.0.200911a-2.1+b2_amd64.deb | 2017-02-24 18:43:20 | 278.15 KB |
| 📄 libladr-dev_0.0.200911a-2.1+b2_arm64.deb | 2017-02-24 18:12:42 | 252.08 KB |
| 📄 libladr-dev_0.0.200911a-2.1+b2_armhf.deb | 2017-02-24 18:58:35 | 253.15 KB |
| 📄 libladr-dev_0.0.200911a-2.1+b2_i386.deb | 2017-02-24 18:58:38 | 303.65 KB |
| 📄 libladr4_0.0.200911a-2.1+b2_amd64.deb | 2017-02-24 18:43:20 | 183.85 KB |
| 📄 libladr4_0.0.200911a-2.1+b2_arm64.deb | 2017-02-24 18:12:42 | 153.27 KB |
| 📄 libladr4_0.0.200911a-2.1+b2_armhf.deb | 2017-02-24 18:58:35 | 155.13 KB |
| 📄 libladr4_0.0.200911a-2.1+b2_i386.deb | 2017-02-24 18:58:38 | 205.99 KB |
| 📄 prover9_0.0.200911a-2.1+b2_amd64.deb | 2017-02-24 18:43:20 | 100.43 KB |
| 📄 prover9_0.0.200911a-2.1+b2_arm64.deb | 2017-02-24 18:12:42 | 90.58 KB |
| 📄 prover9_0.0.200911a-2.1+b2_armhf.deb | 2017-02-24 18:58:35 | 94.3 KB |
| 📄 prover9_0.0.200911a-2.1+b2_i386.deb | 2017-02-24 18:58:38 | 106.78 KB |
