SGGS Mirror - coq-elpi

Name	Size	Modified
Up
coq-elpi_1.14.0-5build1.debian.tar.xz	3.2 KiB	07/21/2022 04:13:48 PM +00:00
coq-elpi_1.14.0-5build1.dsc	2.1 KiB	07/21/2022 04:13:48 PM +00:00
coq-elpi_1.14.0.orig.tar.gz	352 KiB	05/14/2022 11:29:08 PM +00:00
coq-elpi_1.16.0-2build1.debian.tar.xz	3.4 KiB	02/16/2023 11:24:24 PM +00:00
coq-elpi_1.16.0-2build1.dsc	2.0 KiB	02/16/2023 11:24:24 PM +00:00
coq-elpi_1.16.0.orig.tar.gz	416 KiB	11/20/2022 11:50:24 PM +00:00
coq-elpi_1.17.1-1build8.debian.tar.xz	3.6 KiB	08/28/2023 03:19:10 PM +00:00
coq-elpi_1.17.1-1build8.dsc	2.0 KiB	08/28/2023 03:19:10 PM +00:00
coq-elpi_1.17.1.orig.tar.gz	420 KiB	06/13/2023 05:30:07 AM +00:00
coq-elpi_2.1.0-1build9.debian.tar.xz	3.8 KiB	09/17/2024 03:51:40 PM +00:00
coq-elpi_2.1.0-1build9.dsc	2.0 KiB	09/17/2024 03:51:40 PM +00:00
coq-elpi_2.1.0.orig.tar.gz	699 KiB	05/02/2024 11:53:16 AM +00:00
libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb	1.6 MiB	07/21/2022 04:13:49 PM +00:00
libcoq-elpi-ocaml-dev_1.14.0-5build1_arm64.deb	1.7 MiB	07/21/2022 04:34:00 PM +00:00
libcoq-elpi-ocaml-dev_1.14.0-5build1_armhf.deb	1.7 MiB	07/21/2022 04:34:01 PM +00:00
libcoq-elpi-ocaml-dev_1.14.0-5build1_ppc64el.deb	1.7 MiB	07/21/2022 04:13:54 PM +00:00
libcoq-elpi-ocaml-dev_1.14.0-5build1_riscv64.deb	1.9 MiB	07/21/2022 05:24:34 PM +00:00
libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb	8.0 MiB	07/21/2022 04:13:49 PM +00:00
libcoq-elpi-ocaml_1.14.0-5build1_arm64.deb	8.2 MiB	07/21/2022 04:34:01 PM +00:00
libcoq-elpi-ocaml_1.14.0-5build1_armhf.deb	8.0 MiB	07/21/2022 04:34:01 PM +00:00
libcoq-elpi-ocaml_1.14.0-5build1_ppc64el.deb	8.1 MiB	07/21/2022 04:13:54 PM +00:00
libcoq-elpi-ocaml_1.14.0-5build1_riscv64.deb	8.0 MiB	07/21/2022 05:24:34 PM +00:00
libcoq-elpi_1.14.0-5build1_amd64.deb	495 KiB	07/21/2022 04:13:48 PM +00:00
libcoq-elpi_1.14.0-5build1_arm64.deb	495 KiB	07/21/2022 04:34:00 PM +00:00
libcoq-elpi_1.14.0-5build1_armhf.deb	494 KiB	07/21/2022 04:34:01 PM +00:00
libcoq-elpi_1.14.0-5build1_ppc64el.deb	496 KiB	07/21/2022 04:13:54 PM +00:00
libcoq-elpi_1.14.0-5build1_riscv64.deb	495 KiB	07/21/2022 05:24:34 PM +00:00
libcoq-elpi_1.16.0-2build1_amd64.deb	2.9 MiB	02/17/2023 01:14:55 AM +00:00
libcoq-elpi_1.16.0-2build1_arm64.deb	3.0 MiB	02/17/2023 01:14:58 AM +00:00
libcoq-elpi_1.16.0-2build1_ppc64el.deb	2.9 MiB	02/17/2023 01:15:09 AM +00:00
libcoq-elpi_1.16.0-2build1_riscv64.deb	2.9 MiB	02/17/2023 02:34:30 AM +00:00
libcoq-elpi_1.17.1-1build8_amd64.deb	2.9 MiB	08/28/2023 03:48:59 PM +00:00
libcoq-elpi_1.17.1-1build8_arm64.deb	3.0 MiB	08/28/2023 03:48:59 PM +00:00
libcoq-elpi_1.17.1-1build8_ppc64el.deb	2.9 MiB	08/28/2023 03:48:59 PM +00:00
libcoq-elpi_1.17.1-1build8_riscv64.deb	2.9 MiB	08/28/2023 04:39:44 PM +00:00
libcoq-elpi_2.1.0-1build9_amd64.deb	2.9 MiB	09/19/2024 05:02:28 PM +00:00
libcoq-elpi_2.1.0-1build9_arm64.deb	3.0 MiB	09/19/2024 05:02:28 PM +00:00
libcoq-elpi_2.1.0-1build9_ppc64el.deb	2.9 MiB	09/19/2024 05:02:30 PM +00:00
libcoq-elpi_2.1.0-1build9_riscv64.deb	3.0 MiB	09/19/2024 05:02:30 PM +00:00
libcoq-elpi_2.1.0-1build9_s390x.deb	3.0 MiB	09/19/2024 05:02:31 PM +00:00