File Name
-
..——
-
coq-elpi_1.13.0-1.debian.tar.xz2.52KB2022-02-11 01:14:45coq-elpi_1.13.0-1.dsc2.04KB2022-02-11 01:14:44coq-elpi_1.13.0.orig.tar.gz351.61KB2022-02-11 01:14:44coq-elpi_1.19.3-2build4.debian.tar.xz3.76KB2024-04-08 10:57:41coq-elpi_1.19.3-2build4.dsc2.06KB2024-04-08 10:57:41coq-elpi_1.19.3.orig.tar.gz558.28KB2023-12-22 19:26:57coq-elpi_2.1.0-1build9.debian.tar.xz3.76KB2024-09-17 18:51:40coq-elpi_2.1.0-1build9.dsc1.97KB2024-09-17 18:51:40coq-elpi_2.1.0.orig.tar.gz699.00KB2024-05-02 14:53:16coq-elpi_2.4.0-1build1.debian.tar.xz3.76KB2025-02-18 23:25:09coq-elpi_2.4.0-1build1.dsc2.02KB2025-02-18 23:25:09coq-elpi_2.4.0.orig.tar.gz717.53KB2025-02-18 03:39:13coq-elpi_2.5.0-1.debian.tar.xz3.23KB2025-05-01 19:23:25coq-elpi_2.5.0-1.dsc2.03KB2025-05-01 19:23:25coq-elpi_2.5.0.orig.tar.gz728.48KB2025-05-01 19:23:25libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb1.63MB2022-02-11 01:34:06libcoq-elpi-ocaml_1.13.0-1_amd64.deb4.76MB2022-02-11 01:34:06libcoq-elpi_1.19.3-2build4_amd64.deb3.03MB2024-04-08 10:57:47libcoq-elpi_2.1.0-1build9_amd64.deb2.91MB2024-09-19 20:02:28libcoq-elpi_2.4.0-1build1_amd64.deb12.91MB2025-02-18 23:25:32libcoq-elpi_2.5.0-1_amd64.deb12.50MB2025-05-01 22:15:17