| ../ | | - | Directory |
| ladr4-apps_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 21:43:20 | 156.1K | application/vnd.debian.binary-package |
| ladr4-apps_0.0.200911a-2.1_amd64.deb | 2014-Oct-09 14:53:00 | 152.8K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 21:43:20 | 278.1K | application/vnd.debian.binary-package |
| libladr-dev_0.0.200911a-2.1_amd64.deb | 2014-Oct-09 14:53:00 | 271.2K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 21:43:20 | 183.8K | application/vnd.debian.binary-package |
| libladr4_0.0.200911a-2.1_amd64.deb | 2014-Oct-09 14:53:00 | 182.7K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1+b2_amd64.deb | 2017-Feb-24 21:43:20 | 100.4K | application/vnd.debian.binary-package |
| prover9_0.0.200911a-2.1_amd64.deb | 2014-Oct-09 14:53:00 | 97.5K | application/vnd.debian.binary-package |