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

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