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

../
prover9_2009-11A-2_aarch64.deb                     12-Sep-2025 10:54              900060
prover9_2009-11A-2_arm.deb                         12-Sep-2025 10:54              535404
prover9_2009-11A-2_i686.deb                        12-Sep-2025 10:54              933356
prover9_2009-11A-2_x86_64.deb                      12-Sep-2025 10:54              892552