Folder Path
/
termux
/
apt
/
termux-main
/
pool
/
main
/
p
/
prover9
/
0
directories
4
files
3.1 MiB
total
List
Grid
Name
Size
Modified
Up
prover9_2009-11A-2_aarch64.deb
879 KiB
09/12/2025 10:54:01 AM +00:00
prover9_2009-11A-2_arm.deb
523 KiB
09/12/2025 10:54:01 AM +00:00
prover9_2009-11A-2_i686.deb
912 KiB
09/12/2025 10:54:01 AM +00:00
prover9_2009-11A-2_x86_64.deb
872 KiB
09/12/2025 10:54:01 AM +00:00