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.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_armhf.deb 868K18-Dec-2023 14:08
eprover_3.0.03+ds.orig.tar.xz 1008K12-Dec-2023 18:25