📂prover9
| Name | Size | Last Modified |
|---|---|---|
| ../ | — | — |
| prover9_2009-11A-2_aarch64.deb | 879 KiB | 2025-09-12 10:54:01 |
| prover9_2009-11A-2_arm.deb | 523 KiB | 2025-09-12 10:54:01 |
| prover9_2009-11A-2_i686.deb | 912 KiB | 2025-09-12 10:54:01 |
| prover9_2009-11A-2_x86_64.deb | 872 KiB | 2025-09-12 10:54:01 |