Index of /debian-ports/pool-hurd-i386/main/c/coq-elpi/

../
coq-elpi_1.14.0-5_hurd-i386.buildinfo              13-Jun-2022 00:03                8076
libcoq-elpi-ocaml-dbgsym_1.14.0-5_hurd-i386.deb    13-Jun-2022 00:03              253172
libcoq-elpi-ocaml-dev_1.14.0-5_hurd-i386.deb       13-Jun-2022 00:03             1283332
libcoq-elpi-ocaml_1.14.0-5_hurd-i386.deb           13-Jun-2022 00:03             6279548
libcoq-elpi_1.14.0-5_hurd-i386.deb                 13-Jun-2022 00:03              454876