Index of /kali/pool/main/c/coq/
../ coq_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 89M coq_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 97M coq_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 86M coq_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 83M coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 89M coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 97M coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 86M coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 83M coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 15:35 32K coq_8.16.1+dfsg-1.dsc 29-Nov-2022 15:35 2629 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 15:35 4M coqide_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 2M coqide_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 2M coqide_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 2M coqide_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 2M coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 2M coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 2M coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 2M coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 2M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 40M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 41M libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 40M libcoq-core-ocaml_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 22M libcoq-core-ocaml_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 22M libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 21M libcoq-core-ocaml_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 22M libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 21M libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 21M libcoq-stdlib_8.16.1+dfsg-1+b1_amd64.deb 24-Jan-2023 01:29 21M libcoq-stdlib_8.16.1+dfsg-1+b1_arm64.deb 24-Jan-2023 01:44 21M libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb 24-Jan-2023 02:15 21M libcoq-stdlib_8.16.1+dfsg-1+b1_i386.deb 24-Jan-2023 02:26 21M libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 08:14 21M libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 08:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 08:55 21M libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 08:29 21M