Index of /mirrors/http.kali.org/pool/main/c/coq/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq_8.20.1+dfsg-1+b3_amd64.deb2026-Feb-12 10:13:3667.8Mapplication/octet-stream
coq_8.20.1+dfsg-1+b4_amd64.deb2026-Jun-19 07:42:4967.8Mapplication/octet-stream
coq_8.20.1+dfsg-1+b4_arm64.deb2026-Feb-12 10:13:3171.4Mapplication/octet-stream
coq_8.20.1+dfsg-1+b5_arm64.deb2026-Jun-19 08:35:0171.4Mapplication/octet-stream
coq_8.20.1+dfsg-1.debian.tar.xz2025-Feb-17 17:37:0229.5Kapplication/octet-stream
coq_8.20.1+dfsg-1.dsc2025-Feb-17 17:37:022.5Kapplication/octet-stream
coq_8.20.1+dfsg.orig.tar.xz2025-Feb-17 17:37:024.8Mapplication/octet-stream
coq_9.2.0+dfsg-3+b1_amd64.deb2026-Jul-27 21:33:2039.3Mapplication/octet-stream
coq_9.2.0+dfsg-3.debian.tar.xz2026-Jul-27 16:12:1527.6Kapplication/octet-stream
coq_9.2.0+dfsg-3.dsc2026-Jul-27 16:12:152.4Kapplication/octet-stream
coq_9.2.0+dfsg-3_arm64.deb2026-Jul-27 16:58:5542.5Mapplication/octet-stream
coq_9.2.0+dfsg-3_armhf.deb2026-Jul-27 16:58:4523.0Mapplication/octet-stream
coq_9.2.0+dfsg-3_i386.deb2026-Jul-27 16:53:1523.2Mapplication/octet-stream
coq_9.2.0+dfsg.orig.tar.xz2026-Jul-10 10:36:053.7Mapplication/octet-stream
coqide_8.20.1+dfsg-1+b3_amd64.deb2026-Feb-12 10:13:361.8Mapplication/octet-stream
coqide_8.20.1+dfsg-1+b4_amd64.deb2026-Jun-19 07:42:491.8Mapplication/octet-stream
coqide_8.20.1+dfsg-1+b4_arm64.deb2026-Feb-12 10:13:312.1Mapplication/octet-stream
coqide_8.20.1+dfsg-1+b5_arm64.deb2026-Jun-19 08:35:012.1Mapplication/octet-stream
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb2026-Feb-12 10:13:3749.6Mapplication/octet-stream
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb2026-Jun-19 07:42:5049.6Mapplication/octet-stream
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb2026-Feb-12 10:13:3149.9Mapplication/octet-stream
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb2026-Jun-19 08:35:0249.9Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb2026-Jul-27 21:33:2053.1Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb2026-Jul-27 16:58:5553.5Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb2026-Jul-27 16:58:4544.4Mapplication/octet-stream
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb2026-Jul-27 16:53:1544.4Mapplication/octet-stream
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb2026-Feb-12 10:13:3723.0Mapplication/octet-stream
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb2026-Jun-19 07:42:5023.0Mapplication/octet-stream
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb2026-Feb-12 10:13:3123.5Mapplication/octet-stream
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb2026-Jun-19 08:35:0223.4Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb2026-Jul-27 21:33:2024.6Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb2026-Jul-27 16:58:5525.0Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb2026-Jul-27 16:58:4517.2Mapplication/octet-stream
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb2026-Jul-27 16:53:1517.2Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb2026-Jul-27 21:33:201.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-3_arm64.deb2026-Jul-27 16:58:551.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-3_armhf.deb2026-Jul-27 16:58:451.1Mapplication/octet-stream
libcoq-core_9.2.0+dfsg-3_i386.deb2026-Jul-27 16:53:151.1Mapplication/octet-stream
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb2026-Feb-12 10:13:3722.4Mapplication/octet-stream
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb2026-Jun-19 07:42:5022.4Mapplication/octet-stream
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb2026-Feb-12 10:13:3222.4Mapplication/octet-stream
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb2026-Jun-19 08:35:0222.4Mapplication/octet-stream
rocqide_9.2.0+dfsg-3+b1_amd64.deb2026-Jul-27 21:33:201.8Mapplication/octet-stream
rocqide_9.2.0+dfsg-3_arm64.deb2026-Jul-27 16:58:552.1Mapplication/octet-stream
rocqide_9.2.0+dfsg-3_armhf.deb2026-Jul-27 16:58:45552.8Kapplication/octet-stream
rocqide_9.2.0+dfsg-3_i386.deb2026-Jul-27 16:53:15622.5Kapplication/octet-stream
lighttpd/1.4.19