[NLUUG]

Welcome to ftp.nluug.nl

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

/os/Linux/distr/ubuntu/pool/universe/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
./-2026-Jan-17 02:26
../-2026-Feb-20 01:00
eprover_3.0.03+ds-1.debian.tar.xz4.8 KiB2023-Dec-12 23:28
eprover_3.0.03+ds-1.dsc1.9 KiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_amd64.deb1.5 MiB2023-Dec-12 23:28
eprover_3.0.03+ds.orig.tar.xz1007.5 KiB2023-Dec-12 23:28
eprover_3.2.5+ds-1.debian.tar.xz4.3 KiB2024-Oct-31 17:14
eprover_3.2.5+ds-1.dsc1.9 KiB2024-Oct-31 17:14
eprover_3.2.5+ds-1_amd64.deb1.1 MiB2024-Oct-31 19:17
eprover_3.2.5+ds-1build1.debian.tar.xz4.4 KiB2026-Jan-17 00:11
eprover_3.2.5+ds-1build1.dsc1.9 KiB2026-Jan-17 00:11
eprover_3.2.5+ds-1build1_amd64.deb1.1 MiB2026-Jan-17 00:15
eprover_3.2.5+ds-1build1_amd64v3.deb1.1 MiB2026-Jan-17 00:16
eprover_3.2.5+ds.orig.tar.xz1011.2 KiB2024-Oct-31 17:14

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