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

../
prover9_2009-11A-1_aarch64.deb                     29-Jul-2024 19:51    891K
prover9_2009-11A-1_arm.deb                         29-Jul-2024 19:51    522K
prover9_2009-11A-1_i686.deb                        29-Jul-2024 19:51    914K
prover9_2009-11A-1_x86_64.deb                      29-Jul-2024 19:51    906K