[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/debian/pool/main/e/eprover/

File Name ↓	File Size ↓	Date ↓
../	-	2025-Jul-09 11:00
./	-	2024-Oct-27 02:12
eprover_2.6+ds.orig.tar.xz	1.0 MiB	2022-Jul-10 21:22
eprover_3.2.5+ds-1_amd64.deb	1021.5 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.orig.tar.xz	1011.2 KiB	2024-Oct-18 21:19
eprover_3.2.5+ds-1_riscv64.deb	972.2 KiB	2024-Oct-19 01:55
eprover_2.6+ds-3_i386.deb	959.7 KiB	2022-Jul-13 22:44
eprover_2.6+ds-3_amd64.deb	955.7 KiB	2022-Jul-13 22:28
eprover_3.2.5+ds-1_arm64.deb	904.2 KiB	2024-Oct-18 21:47
eprover_2.6+ds-3_arm64.deb	879.5 KiB	2022-Jul-13 22:43
eprover_3.2.5+ds-1_armhf.deb	712.8 KiB	2024-Oct-18 21:47
eprover_2.6+ds-3_armhf.deb	689.6 KiB	2022-Jul-13 22:59
eprover_2.6+ds-3.debian.tar.xz	10.0 KiB	2022-Jul-13 22:03
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_2.6+ds-3.dsc	1.9 KiB	2022-Jul-13 22:03

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!