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