Index of /kali/pool/main/c/coq/
../
coq_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 68M
coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 68M
coq_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 71M
coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 71M
coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30K
coq_8.20.1+dfsg-1.dsc 17-Feb-2025 16:37 2582
coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5M
coq_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 39M
coq_9.2.0+dfsg-4.debian.tar.xz 25-Aug-2026 11:56 28K
coq_9.2.0+dfsg-4.dsc 25-Aug-2026 11:56 2710
coq_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 39M
coq_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 42M
coq_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 23M
coq_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 23M
coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 4M
coqide_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 2M
coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 2M
coqide_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 2M
coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 50M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 50M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 50M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 50M
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 53M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 53M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 54M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 44M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 44M
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 23M
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23M
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 23M
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23M
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 25M
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 25M
libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 25M
libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 17M
libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 17M
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1M
libcoq-core_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 1M
libcoq-core_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 1M
libcoq-core_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 1M
libcoq-core_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 1M
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 22M
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 22M
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 22M
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 22M
rocqide_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 2M
rocqide_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 2M
rocqide_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 2M
rocqide_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 553K
rocqide_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 624K