淡江大學FTP伺服器

/檔案列表/Linux/Kali/kali/pool/main/c/coq/

File

Size

Last Modified

.. - May 08 2026 02:17:35 PM

coqide_8.20.1+dfsg-1+b3_amd64.deb 1892KB Feb 12 2026 05:13:36 PM

coqide_8.20.1+dfsg-1+b4_arm64.deb 2204KB Feb 12 2026 05:13:31 PM

coq_8.20.1+dfsg-1+b3_amd64.deb 69454KB Feb 12 2026 05:13:36 PM

coq_8.20.1+dfsg-1+b4_arm64.deb 73157KB Feb 12 2026 05:13:31 PM

coq_8.20.1+dfsg-1.debian.tar.xz 30KB Feb 18 2025 12:37:02 AM

coq_8.20.1+dfsg-1.dsc 3KB Feb 18 2025 12:37:02 AM

coq_8.20.1+dfsg.orig.tar.xz 4897KB Feb 18 2025 12:37:02 AM

libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_a... 50789KB Feb 12 2026 05:13:37 PM

libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_a... 51113KB Feb 12 2026 05:13:31 PM

libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64... 23642KB Feb 12 2026 05:13:37 PM

libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64... 24053KB Feb 12 2026 05:13:31 PM

libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 22976KB Feb 12 2026 05:13:37 PM

libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 22976KB Feb 12 2026 05:13:32 PM