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

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