ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
eprover_2.6+ds-3.debian.tar.xz 10K14-Jul-2022 02:03
eprover_2.6+ds-3.dsc 191614-Jul-2022 02:03
eprover_2.6+ds-3_amd64.deb 956K14-Jul-2022 02:28
eprover_2.6+ds-3_arm64.deb 879K14-Jul-2022 02:43
eprover_2.6+ds-3_armel.deb 719K14-Jul-2022 02:59
eprover_2.6+ds-3_armhf.deb 690K14-Jul-2022 02:59
eprover_2.6+ds-3_i386.deb 960K14-Jul-2022 02:44
eprover_2.6+ds-3_mips64el.deb 983K14-Jul-2022 03:25
eprover_2.6+ds-3_mipsel.deb 990K14-Jul-2022 03:25
eprover_2.6+ds-3_ppc64el.deb 992K14-Jul-2022 02:59
eprover_2.6+ds-3_s390x.deb 889K14-Jul-2022 03:15
eprover_2.6+ds.orig.tar.xz 1M11-Jul-2022 01:22
eprover_3.0.03+ds-1+b1_riscv64.deb 1M04-Jan-2024 00:26
eprover_3.0.03+ds-1.debian.tar.xz 489212-Dec-2023 18:25
eprover_3.0.03+ds-1.dsc 193412-Dec-2023 18:25
eprover_3.0.03+ds-1_amd64.deb 1M12-Dec-2023 19:51
eprover_3.0.03+ds-1_arm64.deb 1M12-Dec-2023 19:50
eprover_3.0.03+ds-1_armel.deb 1012K12-Dec-2023 19:51
eprover_3.0.03+ds-1_armhf.deb 1M12-Dec-2023 19:50
eprover_3.0.03+ds-1_i386.deb 1M12-Dec-2023 19:45
eprover_3.0.03+ds-1_mips64el.deb 1M17-Dec-2023 02:52
eprover_3.0.03+ds-1_ppc64el.deb 1M12-Dec-2023 19:45
eprover_3.0.03+ds-1_s390x.deb 1M12-Dec-2023 19:45
eprover_3.0.03+ds.orig.tar.xz 1008K12-Dec-2023 18:25