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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prover9_2009-11A-1_aarch64.deb2024-07-29 14:21 891K 
[   ]prover9_2009-11A-1_arm.deb2024-07-29 14:21 522K 
[   ]prover9_2009-11A-1_i686.deb2024-07-29 14:21 914K 
[   ]prover9_2009-11A-1_x86_64.deb2024-07-29 14:21 906K 

Apache/2.4.62 (Debian) Server at grimler.se Port 443