Index of /ubuntu/pool/universe/c/coq-elpi/
name
size
date
libcoq-elpi_2.5.0-1.2build2_amd64v3.deb
13.36M
2026-01-29 09:16:06
libcoq-elpi_2.5.0-1.2build2_amd64.deb
13.36M
2026-01-29 09:15:20
coq-elpi_2.5.0-1.2build2.debian.tar.xz
3.9K
2026-01-28 00:59:11
coq-elpi_2.5.0-1.2build2.dsc
2.0K
2026-01-28 00:59:11
libcoq-elpi_2.5.0-1.2build1_amd64v3.deb
13.35M
2026-01-04 23:06:54
libcoq-elpi_2.5.0-1.2build1_amd64.deb
13.35M
2026-01-04 23:06:52
coq-elpi_2.5.0-1.2build1.debian.tar.xz
3.9K
2026-01-03 19:11:47
coq-elpi_2.5.0-1.2build1.dsc
2.0K
2026-01-03 19:11:47
libcoq-elpi_2.5.0-1.1build1_amd64.deb
12.45M
2025-09-01 03:34:40
coq-elpi_2.5.0-1.1build1.debian.tar.xz
3.8K
2025-08-31 19:42:11
coq-elpi_2.5.0-1.1build1.dsc
2.0K
2025-08-31 19:42:11
coq-elpi_2.5.0.orig.tar.gz
0.71M
2025-05-01 16:23:25
libcoq-elpi_2.4.0-1build1_amd64.deb
12.91M
2025-02-18 21:25:32
coq-elpi_2.4.0-1build1.debian.tar.xz
3.8K
2025-02-18 21:25:09
coq-elpi_2.4.0-1build1.dsc
2.0K
2025-02-18 21:25:09
coq-elpi_2.4.0.orig.tar.gz
0.70M
2025-02-18 01:39:13
libcoq-elpi_1.19.3-2build4_amd64.deb
3.03M
2024-04-08 07:57:47
coq-elpi_1.19.3-2build4.debian.tar.xz
3.8K
2024-04-08 07:57:41
coq-elpi_1.19.3-2build4.dsc
2.1K
2024-04-08 07:57:41
coq-elpi_1.19.3.orig.tar.gz
0.55M
2023-12-22 17:26:57
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
1.63M
2022-02-10 23:34:06
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
4.76M
2022-02-10 23:34:06
coq-elpi_1.13.0-1.debian.tar.xz
2.5K
2022-02-10 23:14:45
coq-elpi_1.13.0-1.dsc
2.0K
2022-02-10 23:14:44
coq-elpi_1.13.0.orig.tar.gz
351.6K
2022-02-10 23:14:44