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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 prover9_2009-11A-2_aarch64.deb   2025-09-12 12:54  879K  
 prover9_2009-11A-2_arm.deb       2025-09-12 12:54  523K  
 prover9_2009-11A-2_i686.deb      2025-09-12 12:54  911K  
 prover9_2009-11A-2_x86_64.deb    2025-09-12 12:54  872K

Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443