淡江大學FTP伺服器

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

Folder.. - Mar 01 2026 02:17:51 PM
coqide_8.20.1+dfsg-1+b1_amd64.debcoqide_8.20.1+dfsg-1+b1_amd64.deb 1885KB Jun 15 2025 09:07:23 AM
coqide_8.20.1+dfsg-1+b1_arm64.debcoqide_8.20.1+dfsg-1+b1_arm64.deb 2194KB Jun 15 2025 01:17:48 PM
coqide_8.20.1+dfsg-1+b2_amd64.debcoqide_8.20.1+dfsg-1+b2_amd64.deb 1906KB Dec 28 2025 02:30:10 AM
coqide_8.20.1+dfsg-1+b2_arm64.debcoqide_8.20.1+dfsg-1+b2_arm64.deb 2189KB Dec 28 2025 01:49:12 AM
coqide_8.20.1+dfsg-1+b3_amd64.debcoqide_8.20.1+dfsg-1+b3_amd64.deb 1892KB Feb 12 2026 05:13:36 PM
coqide_8.20.1+dfsg-1+b3_arm64.debcoqide_8.20.1+dfsg-1+b3_arm64.deb 2191KB Jan 17 2026 01:14:28 PM
coqide_8.20.1+dfsg-1+b4_arm64.debcoqide_8.20.1+dfsg-1+b4_arm64.deb 2204KB Feb 12 2026 05:13:31 PM
coq_8.20.1+dfsg-1+b1_amd64.debcoq_8.20.1+dfsg-1+b1_amd64.deb 68576KB Jun 15 2025 09:07:23 AM
coq_8.20.1+dfsg-1+b1_arm64.debcoq_8.20.1+dfsg-1+b1_arm64.deb 72701KB Jun 15 2025 01:17:48 PM
coq_8.20.1+dfsg-1+b2_amd64.debcoq_8.20.1+dfsg-1+b2_amd64.deb 69452KB Dec 28 2025 02:30:10 AM
coq_8.20.1+dfsg-1+b2_arm64.debcoq_8.20.1+dfsg-1+b2_arm64.deb 73136KB Dec 28 2025 01:49:12 AM
coq_8.20.1+dfsg-1+b3_amd64.debcoq_8.20.1+dfsg-1+b3_amd64.deb 69454KB Feb 12 2026 05:13:36 PM
coq_8.20.1+dfsg-1+b3_arm64.debcoq_8.20.1+dfsg-1+b3_arm64.deb 73128KB Jan 17 2026 01:14:28 PM
coq_8.20.1+dfsg-1+b4_arm64.debcoq_8.20.1+dfsg-1+b4_arm64.deb 73157KB Feb 12 2026 05:13:31 PM
coq_8.20.1+dfsg-1.debian.tar.xzcoq_8.20.1+dfsg-1.debian.tar.xz 30KB Feb 18 2025 12:37:02 AM
coq_8.20.1+dfsg-1.dsccoq_8.20.1+dfsg-1.dsc 3KB Feb 18 2025 12:37:02 AM
coq_8.20.1+dfsg.orig.tar.xzcoq_8.20.1+dfsg.orig.tar.xz 4897KB Feb 18 2025 12:37:02 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_a... 67090KB Jun 15 2025 09:07:24 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_a... 66962KB Jun 15 2025 01:17:48 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_a... 50795KB Dec 28 2025 02:30:10 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_a... 50632KB Dec 28 2025 01:49:12 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deblibcoq-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+b3_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_a... 50642KB Jan 17 2026 01:14:28 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deblibcoq-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+b1_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64... 25347KB Jun 15 2025 09:07:24 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64... 25770KB Jun 15 2025 01:17:48 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64... 23640KB Dec 28 2025 02:30:10 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_arm64... 24052KB Dec 28 2025 01:49:12 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deblibcoq-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+b3_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b3_arm64... 24052KB Jan 17 2026 01:14:28 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64... 24053KB Feb 12 2026 05:13:31 PM
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 22976KB Jun 15 2025 09:07:24 AM
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 22980KB Jun 15 2025 01:17:48 PM
libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb 22979KB Dec 28 2025 02:30:10 AM
libcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b2_arm64.deb 22976KB Dec 28 2025 01:49:12 AM
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb 22976KB Feb 12 2026 05:13:37 PM
libcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deb 22975KB Jan 17 2026 01:14:28 PM
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb 22976KB Feb 12 2026 05:13:32 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：03/04/2026

Copyright 2009 淡江大學資訊處 建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768