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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] prover9_2009-11A-0_aarch64.deb   2022-01-14 22:00  784K  
[   ] prover9_2009-11A-0_arm.deb       2022-01-14 22:00  509K  
[   ] prover9_2009-11A-0_i686.deb      2022-01-14 22:00  643K  
[   ] prover9_2009-11A-0_x86_64.deb    2022-01-14 22:00  895K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80