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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] prover9_2009-11A-1_aarch64.deb   2024-07-29 16:21  891K  
[   ] prover9_2009-11A-1_arm.deb       2024-07-29 16:21  522K  
[   ] prover9_2009-11A-1_i686.deb      2024-07-29 16:21  914K  
[   ] prover9_2009-11A-1_x86_64.deb    2024-07-29 16:21  906K
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80