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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] prover9_2009-11A-1_x86_64.deb 2024-07-29 22:21 906K [   ] prover9_2009-11A-1_i686.deb 2024-07-29 22:21 914K [   ] prover9_2009-11A-1_arm.deb 2024-07-29 22:21 522K [   ] prover9_2009-11A-1_aarch64.deb 2024-07-29 22:21 891K
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443