Index of /termux/termux-main/pool/main/p/prover9/

../
prover9_2009-11A-2_aarch64.deb                     12-Sep-2025 10:54    879K
prover9_2009-11A-2_arm.deb                         12-Sep-2025 10:54    523K
prover9_2009-11A-2_i686.deb                        12-Sep-2025 10:54    911K
prover9_2009-11A-2_x86_64.deb                      12-Sep-2025 10:54    872K