Index of /mirror/termux.dev/termux-main/pool/main/p/prover9

	Name	Last modified	Size
	Parent Directory		-
	prover9_2009-11A-0_aarch64.deb	2022-01-14 22:00	784K
	prover9_2009-11A-0_arm.deb	2022-01-14 22:00	509K
	prover9_2009-11A-0_i686.deb	2022-01-14 22:00	643K
	prover9_2009-11A-0_x86_64.deb	2022-01-14 22:00	895K