淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/c/coq-record-update/

Folder.. - Aug 23 2026 03:02:16 AM
coq-record-update_0.3.1-2.debian.tar.xzcoq-record-update_0.3.1-2.debian.tar.xz 2KB Jan 25 2023 03:42:09 PM
coq-record-update_0.3.1-2.dsccoq-record-update_0.3.1-2.dsc 2KB Jan 25 2023 03:42:09 PM
coq-record-update_0.3.1.orig.tar.gzcoq-record-update_0.3.1.orig.tar.gz 13KB Jul 17 2022 06:57:52 AM
coq-record-update_0.3.4-4.debian.tar.xzcoq-record-update_0.3.4-4.debian.tar.xz 2KB Nov 23 2024 11:42:39 PM
coq-record-update_0.3.4-4.dsccoq-record-update_0.3.4-4.dsc 2KB Nov 23 2024 11:42:39 PM
coq-record-update_0.3.4.orig.tar.gzcoq-record-update_0.3.4.orig.tar.gz 13KB May 02 2024 09:44:17 PM
coq-record-update_0.3.7-3.debian.tar.xzcoq-record-update_0.3.7-3.debian.tar.xz 2KB Jul 28 2026 05:44:49 PM
coq-record-update_0.3.7-3.dsccoq-record-update_0.3.7-3.dsc 2KB Jul 28 2026 05:44:49 PM
coq-record-update_0.3.7.orig.tar.gzcoq-record-update_0.3.7.orig.tar.gz 18KB Jul 10 2026 11:23:43 PM
libcoq-record-update_0.3.1-2+b1_amd64.deblibcoq-record-update_0.3.1-2+b1_amd64.deb 14KB Feb 13 2023 01:11:22 PM
libcoq-record-update_0.3.1-2+b1_arm64.deblibcoq-record-update_0.3.1-2+b1_arm64.deb 14KB Feb 13 2023 01:11:23 PM
libcoq-record-update_0.3.1-2+b1_armhf.deblibcoq-record-update_0.3.1-2+b1_armhf.deb 14KB Feb 13 2023 01:26:49 PM
libcoq-record-update_0.3.1-2+b1_i386.deblibcoq-record-update_0.3.1-2+b1_i386.deb 14KB Feb 13 2023 01:11:28 PM
libcoq-record-update_0.3.1-2+b1_ppc64el.deblibcoq-record-update_0.3.1-2+b1_ppc64el.deb 14KB Feb 13 2023 01:27:05 PM
libcoq-record-update_0.3.1-2+b1_s390x.deblibcoq-record-update_0.3.1-2+b1_s390x.deb 14KB Feb 13 2023 01:11:24 PM
libcoq-record-update_0.3.4-4+b4_amd64.deblibcoq-record-update_0.3.4-4+b4_amd64.deb 14KB Jun 15 2025 06:49:58 PM
libcoq-record-update_0.3.4-4+b4_arm64.deblibcoq-record-update_0.3.4-4+b4_arm64.deb 14KB Jun 15 2025 06:55:00 PM
libcoq-record-update_0.3.4-4+b4_ppc64el.deblibcoq-record-update_0.3.4-4+b4_ppc64el.deb 14KB Jun 15 2025 06:49:56 PM
libcoq-record-update_0.3.4-4+b4_riscv64.deblibcoq-record-update_0.3.4-4+b4_riscv64.deb 14KB Jun 15 2025 07:30:25 PM
libcoq-record-update_0.3.4-4+b4_s390x.deblibcoq-record-update_0.3.4-4+b4_s390x.deb 14KB Jun 17 2025 02:19:43 AM
libcoq-record-update_0.3.7-3+b1_amd64.deblibcoq-record-update_0.3.7-3+b1_amd64.deb 19KB Jul 28 2026 06:20:37 PM
libcoq-record-update_0.3.7-3_arm64.deblibcoq-record-update_0.3.7-3_arm64.deb 19KB Jul 28 2026 06:00:14 PM
libcoq-record-update_0.3.7-3_armhf.deblibcoq-record-update_0.3.7-3_armhf.deb 19KB Jul 28 2026 06:05:22 PM
libcoq-record-update_0.3.7-3_i386.deblibcoq-record-update_0.3.7-3_i386.deb 19KB Jul 28 2026 06:05:18 PM
libcoq-record-update_0.3.7-3_loong64.deblibcoq-record-update_0.3.7-3_loong64.deb 19KB Jul 28 2026 06:05:18 PM
libcoq-record-update_0.3.7-3_ppc64el.deblibcoq-record-update_0.3.7-3_ppc64el.deb 19KB Jul 28 2026 06:05:24 PM
libcoq-record-update_0.3.7-3_riscv64.deblibcoq-record-update_0.3.7-3_riscv64.deb 19KB Jul 28 2026 07:56:46 PM
libcoq-record-update_0.3.7-3_s390x.deblibcoq-record-update_0.3.7-3_s390x.deb 19KB Jul 28 2026 06:00:08 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：08/25/2026

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