Welcome to NYCU CSIT Mirror site
Index of /kali/pool/main/c/coq/
../ coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 70222224 coq_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 74446016 coq_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 71118656 coq_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 74891252 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 coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 1930360 coqide_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 2246476 coqide_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 1952024 coqide_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 2241120 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 68700208 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 68569160 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 52013688 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 51847252 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25955760 libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 26387968 libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 24207612 libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 24628984 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 23527164 libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 23531376 libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb 27-Dec-2025 18:30 23530520 libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb 27-Dec-2025 17:49 23527528