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.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
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.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