senko.digital

Welcome to the Senko Digital mirror. This instance is hosted in Frankfurt am Main, Germany. We support HTTP, HTTPS, and rsync.

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
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_arm64.deb1.4 MiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_armhf.deb1.2 MiB2023-Dec-13 00:17
eprover_3.0.03+ds-1_ppc64el.deb1.5 MiB2023-Dec-12 23:28
eprover_3.0.03+ds-1_riscv64.deb2.5 MiB2023-Dec-23 12:47
eprover_3.0.03+ds-1_s390x.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_arm64.deb1.1 MiB2024-Oct-31 19:20
eprover_3.2.5+ds-1_armhf.deb852.0 KiB2024-Oct-31 19:22
eprover_3.2.5+ds-1_ppc64el.deb1.1 MiB2024-Oct-31 19:23
eprover_3.2.5+ds-1_riscv64.deb1.1 MiB2024-Nov-01 01:11
eprover_3.2.5+ds-1_s390x.deb1.1 MiB2024-Oct-31 19:26
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_arm64.deb1.1 MiB2026-Jan-17 00:17
eprover_3.2.5+ds-1build1_armhf.deb847.9 KiB2026-Jan-17 00:18
eprover_3.2.5+ds-1build1_ppc64el.deb1.2 MiB2026-Jan-17 00:19
eprover_3.2.5+ds-1build1_riscv64.deb1.1 MiB2026-Jan-17 02:26
eprover_3.2.5+ds-1build1_s390x.deb1.1 MiB2026-Jan-17 00:21
eprover_3.2.5+ds.orig.tar.xz1011.2 KiB2024-Oct-31 17:14