Index of /debian/pool/main/c/coq-elpi/

Name	Last Modified	Size
Parent Directory
coq-elpi_1.16.0-2.debian.tar.xz	25-01-2023 06:56	4k
coq-elpi_1.16.0-2.dsc	25-01-2023 06:56	4k
coq-elpi_1.16.0.orig.tar.gz	20-11-2022 15:35	420k
coq-elpi_1.19.3-2.debian.tar.xz	03-01-2024 08:01	4k
coq-elpi_1.19.3-2.dsc	03-01-2024 08:01	4k
coq-elpi_1.19.3.orig.tar.gz	22-12-2023 10:16	560k
coq-elpi_2.1.0-1.debian.tar.xz	26-04-2024 13:46	4k
coq-elpi_2.1.0-1.dsc	26-04-2024 13:46	4k
coq-elpi_2.1.0.orig.tar.gz	26-04-2024 13:46	700k
libcoq-elpi_1.16.0-2+b1_amd64.deb	14-02-2023 09:59	2372k
libcoq-elpi_1.16.0-2+b1_arm64.deb	14-02-2023 09:59	2456k
libcoq-elpi_1.16.0-2+b1_i386.deb	14-02-2023 09:49	2300k
libcoq-elpi_1.16.0-2+b1_ppc64el.deb	14-02-2023 10:44	2392k
libcoq-elpi_1.19.3-2+b1_amd64.deb	16-02-2024 12:12	2520k
libcoq-elpi_1.19.3-2+b1_arm64.deb	16-02-2024 11:42	2604k
libcoq-elpi_1.19.3-2+b1_armhf.deb	16-02-2024 11:41	2504k
libcoq-elpi_1.19.3-2+b1_i386.deb	16-02-2024 12:07	2436k
libcoq-elpi_1.19.3-2+b1_ppc64el.deb	16-02-2024 11:36	2532k
libcoq-elpi_1.19.3-2+b1_s390x.deb	16-02-2024 11:36	2536k
libcoq-elpi_1.19.3-2+b2_armhf.deb	26-03-2024 15:33	2504k
libcoq-elpi_1.19.3-2+b2_s390x.deb	19-03-2024 20:54	2536k
libcoq-elpi_2.1.0-1_amd64.deb	27-04-2024 22:03	3384k
libcoq-elpi_2.1.0-1_arm64.deb	27-04-2024 22:03	3516k
libcoq-elpi_2.1.0-1_i386.deb	27-04-2024 17:44	3268k
libcoq-elpi_2.1.0-1_ppc64el.deb	27-04-2024 17:07	3424k

Alojado en Chile por Hostenode SpA - https://hnd.cl