Index of /termux/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.63 (Debian) Server at de.freedif.org Port 443