| name | size | date |
|---|---|---|
| prover9_0.0.200902a-2_amd64.deb | 125.6K | 2022-01-19 09:47:58 |
| ladr4-apps_0.0.200902a-2_amd64.deb | 365.0K | 2022-01-19 09:47:57 |
| libladr-dev_0.0.200902a-2_amd64.deb | 395.7K | 2022-01-19 09:47:57 |
| libladr4_0.0.200902a-2_amd64.deb | 236.6K | 2022-01-19 09:47:57 |