淡江大學FTP伺服器

/檔案列表/Linux//Ubuntu/ubuntu/pool/universe/p/paramcoq/

Folder.. - Sep 01 2026 03:29:00 PM
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deblibcoq-paramcoq_1.1.3+coq8.18-1build2_am... 127KB Apr 01 2024 02:51:32 PM
libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deblibcoq-paramcoq_1.1.3+coq8.20-1build3_am... 121KB Feb 19 2025 05:25:33 AM
libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deblibcoq-paramcoq_1.1.3+coq8.20-1build4_am... 121KB Jun 20 2025 09:23:36 PM
libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deblibcoq-paramcoq_1.1.3+coq8.20-1build4_ar... 137KB Jun 20 2025 09:24:42 PM
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deblibcoq-paramcoq_1.1.3+coq8.20-1build7_am... 120KB Mar 04 2026 04:35:50 PM
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64v3.deblibcoq-paramcoq_1.1.3+coq8.20-1build7_am... 121KB Mar 04 2026 04:35:51 PM
libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deblibcoq-paramcoq_1.1.3+coq8.20-1build7_ar... 137KB Mar 04 2026 04:35:52 PM
libcoq-paramcoq_1.1.3+coq8.20-1build8_amd64.deblibcoq-paramcoq_1.1.3+coq8.20-1build8_am... 121KB Jul 09 2026 05:23:11 AM
libcoq-paramcoq_1.1.3+coq8.20-1build8_amd64v3.deblibcoq-paramcoq_1.1.3+coq8.20-1build8_am... 121KB Jul 09 2026 05:25:53 AM
libcoq-paramcoq_1.1.3+coq8.20-1build8_arm64.deblibcoq-paramcoq_1.1.3+coq8.20-1build8_ar... 137KB Jul 09 2026 05:28:18 AM
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xzparamcoq_1.1.3+coq8.18-1build2.debian.ta... 3KB Apr 01 2024 01:43:08 PM
paramcoq_1.1.3+coq8.18-1build2.dscparamcoq_1.1.3+coq8.18-1build2.dsc 2KB Apr 01 2024 01:43:08 PM
paramcoq_1.1.3+coq8.18.orig.tar.gzparamcoq_1.1.3+coq8.18.orig.tar.gz 45KB Dec 23 2023 01:26:53 AM
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xzparamcoq_1.1.3+coq8.20-1build3.debian.ta... 3KB Feb 19 2025 05:25:06 AM
paramcoq_1.1.3+coq8.20-1build3.dscparamcoq_1.1.3+coq8.20-1build3.dsc 2KB Feb 19 2025 05:25:06 AM
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xzparamcoq_1.1.3+coq8.20-1build4.debian.ta... 3KB Jun 20 2025 09:22:26 PM
paramcoq_1.1.3+coq8.20-1build4.dscparamcoq_1.1.3+coq8.20-1build4.dsc 2KB Jun 20 2025 09:22:26 PM
paramcoq_1.1.3+coq8.20-1build7.debian.tar.xzparamcoq_1.1.3+coq8.20-1build7.debian.ta... 3KB Mar 04 2026 04:35:00 PM
paramcoq_1.1.3+coq8.20-1build7.dscparamcoq_1.1.3+coq8.20-1build7.dsc 2KB Mar 04 2026 04:35:01 PM
paramcoq_1.1.3+coq8.20-1build10.debian.tar.xzparamcoq_1.1.3+coq8.20-1build10.debian.t... 3KB Aug 27 2026 10:19:54 PM
paramcoq_1.1.3+coq8.20-1build10.dscparamcoq_1.1.3+coq8.20-1build10.dsc 2KB Aug 27 2026 10:19:54 PM
paramcoq_1.1.3+coq8.20.orig.tar.gzparamcoq_1.1.3+coq8.20.orig.tar.gz 45KB Nov 21 2024 02:47:20 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：09/08/2026

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