Index of /mirrors/kali/pool/main/c/coq/
../
coq_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 71120816
coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940
coq_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 74912724
coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 74871048
coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30208
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 5014988
coq_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 41288728
coq_9.2.0+dfsg-3.debian.tar.xz 27-Jul-2026 14:12 28280
coq_9.2.0+dfsg-3.dsc 27-Jul-2026 14:12 2479
coq_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 44574372
coq_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 24127888
coq_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 24355396
coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 3946088
coqide_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 1937248
coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232
coqide_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 2256840
coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2252096
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 52008056
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 52003544
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 52339240
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 52339052
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 55699820
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 56121148
libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 46594684
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 46592644
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 24209008
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 24203864
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 24630388
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 24620816
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 25791508
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 26297080
libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 18076800
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 18080772
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1154548
libcoq-core_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 1151768
libcoq-core_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 1152876
libcoq-core_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 1153628
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 12-Feb-2026 09:13 23527548
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 12-Feb-2026 09:13 23527052
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23525580
rocqide_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1951308
rocqide_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 2251096
rocqide_9.2.0+dfsg-3_armhf.deb 27-Jul-2026 14:58 566144
rocqide_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 637460