../ 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 360052 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 360407 coq-elpi_1.16.0-1build2.debian.tar.xz 03-Dec-2022 20:33 3448 coq-elpi_1.16.0-1build2.dsc 03-Dec-2022 20:33 2024 coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 11:49 3412 coq-elpi_1.16.0-2.dsc 25-Jan-2023 11:49 2030 coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 23:50 426223 libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 10-Feb-2022 23:34 1711524 libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 1700784 libcoq-elpi-ocaml_1.13.0-1_amd64.deb 10-Feb-2022 23:34 4985994 libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 8344932 libcoq-elpi_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 506840 libcoq-elpi_1.16.0-1build2_amd64.deb 03-Dec-2022 20:33 3027318