Index of /ubuntu-ports/pool/universe/e/eprover

	Name	Last modified	Size	Description
	Parent Directory		-
	eprover_3.0.03+ds-1.debian.tar.xz	2023-12-12 18:28	4.8K
	eprover_3.0.03+ds-1.dsc	2023-12-12 18:28	1.9K
	eprover_3.0.03+ds-1_arm64.deb	2023-12-12 18:28	1.4M
	eprover_3.0.03+ds-1_armhf.deb	2023-12-12 19:17	1.2M
	eprover_3.0.03+ds.orig.tar.xz	2023-12-12 18:28	1.0M
	eprover_3.2.5+ds-1.debian.tar.xz	2024-10-31 13:14	4.3K
	eprover_3.2.5+ds-1.dsc	2024-10-31 13:14	1.9K
	eprover_3.2.5+ds-1_arm64.deb	2024-10-31 15:20	1.1M
	eprover_3.2.5+ds-1_armhf.deb	2024-10-31 15:22	852K
	eprover_3.2.5+ds-1build1.debian.tar.xz	2026-01-16 19:11	4.4K
	eprover_3.2.5+ds-1build1.dsc	2026-01-16 19:11	1.9K
	eprover_3.2.5+ds-1build1_arm64.deb	2026-01-16 19:17	1.1M
	eprover_3.2.5+ds-1build1_armhf.deb	2026-01-16 19:18	848K
	eprover_3.2.5+ds.orig.tar.xz	2024-10-31 13:14	1.0M
	eprover_3.5.1+ds-1.debian.tar.xz	2026-08-03 19:22	4.5K
	eprover_3.5.1+ds-1.dsc	2026-08-03 19:22	1.9K
	eprover_3.5.1+ds-1_arm64.deb	2026-08-03 20:07	894K
	eprover_3.5.1+ds-1_armhf.deb	2026-08-03 20:07	854K
	eprover_3.5.1+ds.orig.tar.xz	2026-08-03 19:22	1.0M