Welcome to NYCU CSIT Mirror site
Index of /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-4.debian.tar.xz 25-Aug-2026 11:56 28296 coq_9.2.0+dfsg-4.dsc 25-Aug-2026 11:56 2710 coq_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 41290504 coq_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 44556608 coq_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 24129088 coq_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 24356512 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-4_amd64.deb 25-Aug-2026 12:22 55691200 libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 56112036 libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 46587436 libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 46595188 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-4_amd64.deb 25-Aug-2026 12:22 25788404 libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 26305360 libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 18077652 libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 18081604 libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1154548 libcoq-core_9.2.0+dfsg-4_amd64.deb 25-Aug-2026 12:22 1153244 libcoq-core_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 1152704 libcoq-core_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 1151224 libcoq-core_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 1152244 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-4_amd64.deb 25-Aug-2026 12:22 1942852 rocqide_9.2.0+dfsg-4_arm64.deb 25-Aug-2026 12:22 2252604 rocqide_9.2.0+dfsg-4_armhf.deb 25-Aug-2026 12:16 566400 rocqide_9.2.0+dfsg-4_i386.deb 25-Aug-2026 12:22 638828