ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /raspbian/raspbian/pool/main/e/eprover/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
eprover_3.1.0+ds-1_armhf.deb 634K18-May-2024 00:36
eprover_3.1.0+ds-1.debian.tar.xz 438002-May-2024 18:09
eprover_3.1.0+ds-1.dsc 192702-May-2024 18:09
eprover_3.1.0+ds.orig.tar.xz 1010K02-May-2024 18:09
eprover_2.6+ds-3_armhf.deb 643K20-Jul-2022 20:08
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.orig.tar.xz 1M11-Jul-2022 01:22