[NLUUG]

Welcome to ftp.nluug.nl

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

/os/Linux/distr/parrot/pool/main/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
./-2025-Nov-18 00:53
../-2025-Dec-02 15:33
eprover_2.6+ds-3.debian.tar.xz10.0 KiB2022-Jul-13 22:03
eprover_2.6+ds-3.dsc1.9 KiB2022-Jul-13 22:03
eprover_2.6+ds-3_amd64.deb955.7 KiB2022-Jul-13 22:28
eprover_2.6+ds-3_arm64.deb879.5 KiB2022-Jul-13 22:43
eprover_2.6+ds.orig.tar.xz1.0 MiB2022-Jul-10 21:22
eprover_3.2.5+ds-1.debian.tar.xz4.3 KiB2024-Oct-18 21:19
eprover_3.2.5+ds-1.dsc1.9 KiB2024-Oct-18 21:19
eprover_3.2.5+ds-1_amd64.deb1021.5 KiB2024-Oct-18 21:47
eprover_3.2.5+ds-1_arm64.deb904.2 KiB2024-Oct-18 21:47
eprover_3.2.5+ds-1_armhf.deb712.8 KiB2024-Oct-18 21:47
eprover_3.2.5+ds-1_riscv64.deb972.2 KiB2024-Oct-19 01:55
eprover_3.2.5+ds.orig.tar.xz1011.2 KiB2024-Oct-18 21:19

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