ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
eprover_3.1.0+ds.orig.tar.xz 1010K03-May-2024 05:54
eprover_3.1.0+ds-1_amd64.deb 1M03-May-2024 06:40
eprover_3.1.0+ds-1.dsc 192703-May-2024 05:54
eprover_3.1.0+ds-1.debian.tar.xz 438003-May-2024 05:54
eprover_3.0.03+ds.orig.tar.xz 1008K13-Dec-2023 03:28
eprover_3.0.03+ds-1_amd64.deb 2M13-Dec-2023 03:28
eprover_3.0.03+ds-1.dsc 193413-Dec-2023 03:28
eprover_3.0.03+ds-1.debian.tar.xz 489213-Dec-2023 03:28
eprover_2.6+ds.orig.tar.xz 1M12-Jul-2022 03:34
eprover_2.6+ds-3_amd64.deb 1M14-Jul-2022 09:23
eprover_2.6+ds-3.dsc 191614-Jul-2022 09:23
eprover_2.6+ds-3.debian.tar.xz 10K14-Jul-2022 09:23