..
	prover9_2009-11A-1_aarch64.deb	912240	2024-07-29T14:21:33Z
	prover9_2009-11A-1_arm.deb	534612	2024-07-29T14:21:33Z
	prover9_2009-11A-1_i686.deb	935820	2024-07-29T14:21:33Z
	prover9_2009-11A-1_x86_64.deb	927760	2024-07-29T14:21:33Z