Index of /debian-trixie/debian/pool/main/c/coq-elpi/

../
coq-elpi_2.5.0-1.1.debian.tar.xz                   09-Feb-2026 20:49                3900
coq-elpi_2.5.0-1.1.dsc                             09-Feb-2026 20:49                2050
coq-elpi_2.5.0.orig.tar.gz                         09-Feb-2026 20:49              745968
libcoq-elpi_2.5.0-1.1_amd64.deb                    09-Feb-2026 20:49            12299728