Shiv Nadar University
mirror.snu.edu.in Open Source Software Mirror
Index of /
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]eprover_3.0.03+ds-1_amd64.deb2023-12-13 04:58 1.5M
[ ]eprover_3.2.5+ds-1build1_amd64.deb2026-01-17 05:45 1.1M
[ ]eprover_3.2.5+ds-1build1_amd64v3.deb2026-01-17 05:46 1.1M
[ ]eprover_3.2.5+ds-1_amd64.deb2024-11-01 00:47 1.1M
[ ]eprover_3.2.5+ds-1_arm64.deb2024-11-01 00:50 1.1M
[ ]eprover_3.2.5+ds-1build1_arm64.deb2026-01-17 05:47 1.1M
[ ]eprover_3.5.1+ds.orig.tar.xz2026-08-04 04:52 1.0M
[ ]eprover_3.2.5+ds.orig.tar.xz2024-10-31 22:44 1.0M
[ ]eprover_3.0.03+ds.orig.tar.xz2023-12-13 04:58 1.0M
[ ]eprover_3.5.1+ds-1_amd64v3.deb2026-08-04 05:37 947K
[ ]eprover_3.5.1+ds-1_amd64.deb2026-08-04 05:36 925K
[ ]eprover_3.5.1+ds-1_arm64.deb2026-08-04 05:37 894K
[ ]eprover_3.0.03+ds-1.debian.tar.xz2023-12-13 04:58 4.8K
[ ]eprover_3.5.1+ds-1.debian.tar.xz2026-08-04 04:52 4.5K
[ ]eprover_3.2.5+ds-1build1.debian.tar.xz2026-01-17 05:41 4.4K
[ ]eprover_3.2.5+ds-1.debian.tar.xz2024-10-31 22:44 4.3K
[TXT]eprover_3.5.1+ds-1.dsc2026-08-04 04:52 1.9K
[TXT]eprover_3.0.03+ds-1.dsc2023-12-13 04:58 1.9K
[TXT]eprover_3.2.5+ds-1.dsc2024-10-31 22:44 1.9K
[TXT]eprover_3.2.5+ds-1build1.dsc2026-01-17 05:41 1.9K