Welcome to the Belnet public FTP server ftp.belnet.be !

This server is located in Brussels, Belgium and operated by Belnet, the
Belgian Education and Research Network. If you have any problem, question or
mirror request, please send them to ftpmaint@belnet.be.

This archive is available through the following means:

HTTP http://ftp.belnet.be (IPv4 + IPv6)
FTP ftp://ftp.belnet.be (IPv4 + IPv6)
RSYNC rsync://rsync.belnet.be (IPv4)

Note: opening too many parallel connections to this host is considered an abuse.
All access is logged.

/mirror/debian/pool/main/e/eprover/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
eprover_2.6+ds-3.debian.tar.xz	10.0 KiB	2022-Jul-13 22:03
eprover_2.6+ds-3.dsc	1.9 KiB	2022-Jul-13 22:03
eprover_2.6+ds-3_amd64.deb	955.7 KiB	2022-Jul-13 22:28
eprover_2.6+ds-3_arm64.deb	879.5 KiB	2022-Jul-13 22:43
eprover_2.6+ds-3_i386.deb	959.7 KiB	2022-Jul-13 22:44
eprover_2.6+ds-3_mips64el.deb	982.5 KiB	2022-Jul-13 23:25
eprover_2.6+ds-3_ppc64el.deb	991.8 KiB	2022-Jul-13 22:59
eprover_2.6+ds.orig.tar.xz	1.0 MiB	2022-Jul-10 21:22
eprover_3.2.5+ds-1.debian.tar.xz	4.3 KiB	2024-Oct-18 21:19
eprover_3.2.5+ds-1.dsc	1.9 KiB	2024-Oct-18 21:19
eprover_3.2.5+ds-1_amd64.deb	1021.5 KiB	2024-Oct-18 21:47
eprover_3.2.5+ds-1_arm64.deb	904.2 KiB	2024-Oct-18 21:47
eprover_3.2.5+ds-1_i386.deb	1020.2 KiB	2024-Oct-18 21:47
eprover_3.2.5+ds-1_mips64el.deb	952.7 KiB	2024-Oct-18 23:54
eprover_3.2.5+ds-1_ppc64el.deb	1012.3 KiB	2024-Oct-18 21:47
eprover_3.2.5+ds-1_riscv64.deb	972.2 KiB	2024-Oct-19 01:55
eprover_3.2.5+ds.orig.tar.xz	1011.2 KiB	2024-Oct-18 21:19