ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /raspbian/raspbian/pool/main/c/coq-elpi/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-elpi_1.16.0-2.debian.tar.xz 341225-Jan-2023 10:56
coq-elpi_1.16.0-2.dsc 203025-Jan-2023 10:56
coq-elpi_1.16.0.orig.tar.gz 416K20-Nov-2022 19:35
coq-elpi_1.19.3-2.debian.tar.xz 364403-Jan-2024 12:01
coq-elpi_1.19.3-2.dsc 179903-Jan-2024 12:01
coq-elpi_1.19.3.orig.tar.gz 558K22-Dec-2023 14:16
libcoq-elpi_1.19.3-2+b1_armhf.deb 2M29-Feb-2024 14:08