Folder Path
/
termux
/
termux-main
/
pool
/
main
/
p
/
prover9
/
0
directories
4
files
3.2 MiB
total
List
Grid
Name
Size
Modified
Up
prover9_2009-11A-1_aarch64.deb
891 KiB
07/29/2024 02:21:33 PM +00:00
prover9_2009-11A-1_arm.deb
522 KiB
07/29/2024 02:21:33 PM +00:00
prover9_2009-11A-1_i686.deb
914 KiB
07/29/2024 02:21:33 PM +00:00
prover9_2009-11A-1_x86_64.deb
906 KiB
07/29/2024 02:21:33 PM +00:00