../ coq-elpi_1.13.0-1.debian.tar.xz 10-Feb-2022 23:14 2584 coq-elpi_1.13.0-1.dsc 10-Feb-2022 23:14 2088 coq-elpi_1.13.0.orig.tar.gz 10-Feb-2022 23:14 352K coq-elpi_1.14.0-5build1.debian.tar.xz 21-Jul-2022 16:13 3284 coq-elpi_1.14.0-5build1.dsc 21-Jul-2022 16:13 2164 coq-elpi_1.14.0.orig.tar.gz 14-May-2022 23:29 352K coq-elpi_1.16.0-2build1.debian.tar.xz 16-Feb-2023 23:24 3472 coq-elpi_1.16.0-2build1.dsc 16-Feb-2023 23:24 2029 coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 23:50 416K libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 10-Feb-2022 23:34 2M libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 2M libcoq-elpi-ocaml_1.13.0-1_amd64.deb 10-Feb-2022 23:34 5M libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 8M libcoq-elpi_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 495K libcoq-elpi_1.16.0-2build1_amd64.deb 17-Feb-2023 01:14 3M