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

	Name	Last modified	Size

	Parent Directory		-
	prover9_2009-11A-1_aarch64.deb	2024-07-29 16:21	891K
	prover9_2009-11A-1_arm.deb	2024-07-29 16:21	522K
	prover9_2009-11A-1_i686.deb	2024-07-29 16:21	914K
	prover9_2009-11A-1_x86_64.deb	2024-07-29 16:21	906K

Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 80