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


../
prover9_2009-11A-1_aarch64.deb                     29-Jul-2024 14:21              912240
prover9_2009-11A-1_arm.deb                         29-Jul-2024 14:21              534612
prover9_2009-11A-1_i686.deb                        29-Jul-2024 14:21              935820
prover9_2009-11A-1_x86_64.deb                      29-Jul-2024 14:21              927760