| Name ↑ ↓ | Size ↑ ↓ | Date ↑ ↓ | |
|---|---|---|---|
| Parent Directory | - | - | |
| prover9_2009-11A-2_aarch64.deb | 879.0 KiB | 12-09-2025 | 10:54 | |
| prover9_2009-11A-2_arm.deb | 522.9 KiB | 12-09-2025 | 10:54 | |
| prover9_2009-11A-2_i686.deb | 911.5 KiB | 12-09-2025 | 10:54 | |
| prover9_2009-11A-2_x86_64.deb | 871.6 KiB | 12-09-2025 | 10:54 | |