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