| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| prover9_2009-11A-2_aarch64.deb | 879.0 KB | 2025-09-12 10:54 |
| prover9_2009-11A-2_arm.deb | 522.9 KB | 2025-09-12 10:54 |
| prover9_2009-11A-2_i686.deb | 911.5 KB | 2025-09-12 10:54 |
| prover9_2009-11A-2_x86_64.deb | 871.6 KB | 2025-09-12 10:54 |
4 items, 3.1 MB total