Index of /kali/pool/main/c/coq-elpi/
../ coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 13:56 3412 coq-elpi_1.16.0-2.dsc 25-Jan-2023 13:56 2030 coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 22:35 416K coq-elpi_1.17.1-1.debian.tar.xz 13-Jun-2023 03:28 3544 coq-elpi_1.17.1-1.dsc 13-Jun-2023 03:28 2030 coq-elpi_1.17.1.orig.tar.gz 13-Jun-2023 03:28 420K libcoq-elpi-ocaml-dev_1.14.0-5+b1_amd64.deb 23-Jul-2022 04:26 1M libcoq-elpi-ocaml-dev_1.14.0-5+b1_arm64.deb 23-Jul-2022 04:26 1M libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb 23-Jul-2022 04:26 1M libcoq-elpi-ocaml-dev_1.14.0-5+b1_i386.deb 23-Jul-2022 04:10 1M libcoq-elpi-ocaml_1.14.0-5+b1_amd64.deb 23-Jul-2022 04:26 6M libcoq-elpi-ocaml_1.14.0-5+b1_arm64.deb 23-Jul-2022 04:26 6M libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb 23-Jul-2022 04:26 6M libcoq-elpi-ocaml_1.14.0-5+b1_i386.deb 23-Jul-2022 04:10 6M libcoq-elpi_1.14.0-5+b1_amd64.deb 23-Jul-2022 04:26 444K libcoq-elpi_1.14.0-5+b1_arm64.deb 23-Jul-2022 04:26 445K libcoq-elpi_1.14.0-5+b1_armhf.deb 23-Jul-2022 04:26 445K libcoq-elpi_1.14.0-5+b1_i386.deb 23-Jul-2022 04:10 444K libcoq-elpi_1.16.0-1+b1_amd64.deb 29-Nov-2022 20:43 2M libcoq-elpi_1.16.0-1+b1_arm64.deb 29-Nov-2022 20:28 2M libcoq-elpi_1.16.0-1+b1_i386.deb 29-Nov-2022 20:44 2M libcoq-elpi_1.16.0-2+b1_amd64.deb 14-Feb-2023 16:59 2M libcoq-elpi_1.16.0-2+b1_arm64.deb 14-Feb-2023 16:59 2M libcoq-elpi_1.16.0-2+b1_i386.deb 14-Feb-2023 16:49 2M libcoq-elpi_1.17.1-1_amd64.deb 13-Jun-2023 05:58 2M libcoq-elpi_1.17.1-1_arm64.deb 13-Jun-2023 15:28 2M libcoq-elpi_1.17.1-1_i386.deb 13-Jun-2023 07:10 2M