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-3.debian.tar.xz 27-Jul-2026 21:12 28K
coq_9.2.0+dfsg-3.dsc 27-Jul-2026 21:12 2479
coq_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 21:58 43M
coq_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 21:58 23M
coq_9.2.0+dfsg-3_i386.deb 27-Jul-2026 21:53 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-3_arm64.deb 27-Jul-2026 21:58 54M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 21:58 44M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb 27-Jul-2026 21:53 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-3_arm64.deb 27-Jul-2026 21:58 25M
libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 21:58 17M
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb 27-Jul-2026 21:53 17M
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 28-Jul-2026 02:33 1M
libcoq-core_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 21:58 1M
libcoq-core_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 21:58 1M
libcoq-core_9.2.0+dfsg-3_i386.deb 27-Jul-2026 21:53 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-3_arm64.deb 27-Jul-2026 21:58 2M
rocqide_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 21:58 553K
rocqide_9.2.0+dfsg-3_i386.deb 27-Jul-2026 21:53 623K