| name | size | date |
|---|---|---|
| libcoq-elpi_2.1.0-1build9_amd64.deb | 2.91M | 2025-09-13 01:33:23 |
| libcoq-elpi_1.16.0-2build1_amd64.deb | 2.88M | 2024-11-26 13:18:52 |
| libcoq-elpi_1.17.1-1build8_amd64.deb | 2.90M | 2024-11-15 03:05:04 |
| libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb | 7.96M | 2023-08-11 04:18:12 |
| libcoq-elpi_1.14.0-5build1_amd64.deb | 495.0K | 2023-08-11 04:18:12 |
| libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb | 1.62M | 2023-08-11 04:18:10 |