Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	eprover_2.6+ds-3.debian.tar.xz	2022-07-14 10:03	10K
	eprover_2.6+ds-3.dsc	2022-07-14 10:03	1.9K
	eprover_2.6+ds-3_amd64.deb	2022-07-14 10:28	956K
	eprover_2.6+ds-3_arm64.deb	2022-07-14 10:43	879K
	eprover_2.6+ds-3_armel.deb	2022-07-14 10:59	719K
	eprover_2.6+ds-3_armhf.deb	2022-07-14 10:59	690K
	eprover_2.6+ds-3_i386.deb	2022-07-14 10:44	960K
	eprover_2.6+ds-3_mips64el.deb	2022-07-14 11:25	1.0M
	eprover_2.6+ds-3_mipsel.deb	2022-07-14 11:25	1.0M
	eprover_2.6+ds-3_ppc64el.deb	2022-07-14 10:59	1.0M
	eprover_2.6+ds-3_s390x.deb	2022-07-14 11:15	889K
	eprover_2.6+ds.orig.tar.xz	2022-07-11 09:22	1.0M
	eprover_3.1.0+ds-1.debian.tar.xz	2024-05-03 02:09	4.3K
	eprover_3.1.0+ds-1.dsc	2024-05-03 02:09	1.9K
	eprover_3.1.0+ds-1_amd64.deb	2024-05-03 03:10	1.0M
	eprover_3.1.0+ds-1_arm64.deb	2024-05-03 03:09	892K
	eprover_3.1.0+ds-1_armel.deb	2024-05-03 03:09	689K
	eprover_3.1.0+ds-1_armhf.deb	2024-05-03 03:10	703K
	eprover_3.1.0+ds-1_i386.deb	2024-05-03 02:59	1.0M
	eprover_3.1.0+ds-1_mips64el.deb	2024-05-03 03:10	940K
	eprover_3.1.0+ds-1_ppc64el.deb	2024-05-03 03:04	1.0M
	eprover_3.1.0+ds-1_riscv64.deb	2024-05-03 03:35	968K
	eprover_3.1.0+ds-1_s390x.deb	2024-05-03 03:04	921K
	eprover_3.1.0+ds.orig.tar.xz	2024-05-03 02:09	1.0M