ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/c/coq-elpi/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-elpi_1.19.3-2build4_amd64.deb 3M08-Apr-2024 11:57
coq-elpi_1.19.3-2build4.debian.tar.xz 385208-Apr-2024 11:57
coq-elpi_1.19.3-2build4.dsc 210808-Apr-2024 11:57
coq-elpi_1.19.3.orig.tar.gz 558K22-Dec-2023 21:26
libcoq-elpi_1.17.1-1build8_amd64.deb 3M28-Aug-2023 19:48
coq-elpi_1.17.1-1build8.debian.tar.xz 369228-Aug-2023 19:19
coq-elpi_1.17.1-1build8.dsc 202928-Aug-2023 19:19
coq-elpi_1.17.1.orig.tar.gz 420K13-Jun-2023 09:30
libcoq-elpi_1.16.0-2build1_amd64.deb 3M17-Feb-2023 05:14
coq-elpi_1.16.0-2build1.dsc 202917-Feb-2023 03:24
coq-elpi_1.16.0-2build1.debian.tar.xz 347217-Feb-2023 03:24
coq-elpi_1.16.0.orig.tar.gz 416K21-Nov-2022 03:50
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 2M11-Feb-2022 03:34
libcoq-elpi-ocaml_1.13.0-1_amd64.deb 5M11-Feb-2022 03:34
coq-elpi_1.13.0-1.debian.tar.xz 258411-Feb-2022 03:14
coq-elpi_1.13.0-1.dsc 208811-Feb-2022 03:14
coq-elpi_1.13.0.orig.tar.gz 352K11-Feb-2022 03:14