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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] prover9_2009-11A-2_x86_64.deb                      2025-09-12 18:54  872K  
[   ] prover9_2009-11A-2_i686.deb                        2025-09-12 18:54  911K  
[   ] prover9_2009-11A-2_arm.deb                         2025-09-12 18:54  523K  
[   ] prover9_2009-11A-2_aarch64.deb                     2025-09-12 18:54  879K
Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443