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_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_armhf.deb 643K20-Jul-2022 20:08
eprover_2.6+ds.orig.tar.xz 1M11-Jul-2022 01:22
eprover_3.2.0+ds-1.debian.tar.xz 442417-Jun-2024 10:10
eprover_3.2.0+ds-1.dsc 192717-Jun-2024 10:10
eprover_3.2.0+ds-1_armhf.deb 633K22-Jun-2024 08:08
eprover_3.2.0+ds.orig.tar.xz 1010K17-Jun-2024 10:10