| name | size | date |
|---|---|---|
| libcoq-elpi_2.5.0-1.2build3_amd64.deb | 13.35M | 2026-03-01 15:46:53 |
| libcoq-elpi_2.5.0-1.1build1_amd64.deb | 12.45M | 2025-09-01 03:34:40 |
| libcoq-elpi_2.4.0-1build1_amd64.deb | 12.91M | 2025-02-18 21:25:32 |
| libcoq-elpi_1.19.3-2build4_amd64.deb | 3.03M | 2024-04-08 07:57:47 |
| 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 |