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    247K
libcoq-elpi-ocaml-dev_1.14.0-5_hurd-i386.deb                                                                             13-Jun-2022 00:03      1M
libcoq-elpi-ocaml_1.14.0-5_hurd-i386.deb                                                                                 13-Jun-2022 00:03      6M
libcoq-elpi_1.14.0-5_hurd-i386.deb                                                                                       13-Jun-2022 00:03    444K