directories: 0, files: 4
| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| coq-elpi_2.5.0-1.1.dsc | 2025-08-29 09:58:14 | 2.00 KiB |
| libcoq-elpi_2.5.0-1.1_amd64.deb | 2025-08-29 09:54:01 | 11.73 MiB |
| coq-elpi_2.5.0.orig.tar.gz | 2025-08-29 09:58:14 | 728.48 KiB |
| coq-elpi_2.5.0-1.1.debian.tar.xz | 2025-08-29 09:58:14 | 3.81 KiB |