淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq-hierarchy-builder/

Folder.. - Feb 10 2026 05:38:02 AM
coq-hierarchy-builder_1.2.1-2.debian.tar.xzcoq-hierarchy-builder_1.2.1-2.debian.tar.xz 3KB Feb 14 2022 01:33:59 PM
coq-hierarchy-builder_1.2.1-2.dsccoq-hierarchy-builder_1.2.1-2.dsc 2KB Feb 14 2022 01:33:58 PM
coq-hierarchy-builder_1.2.1-2_amd64.debcoq-hierarchy-builder_1.2.1-2_amd64.deb 760KB Feb 14 2022 04:54:27 PM
coq-hierarchy-builder_1.2.1.orig.tar.gzcoq-hierarchy-builder_1.2.1.orig.tar.gz 184KB Jan 18 2022 07:14:18 AM
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xzcoq-hierarchy-builder_1.6.0-1build5.debi... 4KB Apr 08 2024 03:57:39 PM
coq-hierarchy-builder_1.6.0-1build5.dsccoq-hierarchy-builder_1.6.0-1build5.dsc 2KB Apr 08 2024 03:57:39 PM
coq-hierarchy-builder_1.6.0-1build5_amd64.debcoq-hierarchy-builder_1.6.0-1build5_amd6... 812KB Apr 08 2024 05:28:00 PM
coq-hierarchy-builder_1.6.0.orig.tar.gzcoq-hierarchy-builder_1.6.0.orig.tar.gz 197KB Dec 24 2023 01:16:59 AM
coq-hierarchy-builder_1.8.1-1build2.debian.tar.xzcoq-hierarchy-builder_1.8.1-1build2.debi... 3KB Feb 19 2025 03:52:14 PM
coq-hierarchy-builder_1.8.1-1build2.dsccoq-hierarchy-builder_1.8.1-1build2.dsc 2KB Feb 19 2025 03:52:14 PM
coq-hierarchy-builder_1.8.1-1build6.debian.tar.xzcoq-hierarchy-builder_1.8.1-1build6.debi... 3KB Sep 01 2025 03:42:10 AM
coq-hierarchy-builder_1.8.1-1build6.dsccoq-hierarchy-builder_1.8.1-1build6.dsc 2KB Sep 01 2025 03:42:10 AM
coq-hierarchy-builder_1.8.1-1build11.debian.tar.xzcoq-hierarchy-builder_1.8.1-1build11.deb... 3KB Jan 04 2026 03:11:46 AM
coq-hierarchy-builder_1.8.1-1build11.dsccoq-hierarchy-builder_1.8.1-1build11.dsc 2KB Jan 04 2026 03:11:46 AM
coq-hierarchy-builder_1.8.1-1build13.debian.tar.xzcoq-hierarchy-builder_1.8.1-1build13.deb... 3KB Jan 30 2026 03:54:59 AM
coq-hierarchy-builder_1.8.1-1build13.dsccoq-hierarchy-builder_1.8.1-1build13.dsc 2KB Jan 30 2026 03:54:59 AM
coq-hierarchy-builder_1.8.1.orig.tar.gzcoq-hierarchy-builder_1.8.1.orig.tar.gz 210KB Feb 18 2025 09:39:13 AM
libcoq-hierarchy-builder_1.2.1-2_amd64.deblibcoq-hierarchy-builder_1.2.1-2_amd64.deb 241KB Feb 14 2022 04:54:27 PM
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deblibcoq-hierarchy-builder_1.6.0-1build5_a... 262KB Apr 08 2024 05:28:00 PM
libcoq-hierarchy-builder_1.8.1-1build2_amd64.deblibcoq-hierarchy-builder_1.8.1-1build2_a... 674KB Feb 19 2025 03:53:20 PM
libcoq-hierarchy-builder_1.8.1-1build6_amd64.deblibcoq-hierarchy-builder_1.8.1-1build6_a... 674KB Sep 01 2025 03:27:48 PM
libcoq-hierarchy-builder_1.8.1-1build11_amd64.deblibcoq-hierarchy-builder_1.8.1-1build11_... 674KB Jan 05 2026 06:17:29 PM
libcoq-hierarchy-builder_1.8.1-1build11_amd64v3.deblibcoq-hierarchy-builder_1.8.1-1build11_... 674KB Jan 05 2026 06:17:34 PM
libcoq-hierarchy-builder_1.8.1-1build13_amd64.deblibcoq-hierarchy-builder_1.8.1-1build13_... 674KB Jan 30 2026 04:01:38 AM
libcoq-hierarchy-builder_1.8.1-1build13_amd64v3.deblibcoq-hierarchy-builder_1.8.1-1build13_... 674KB Jan 30 2026 04:01:45 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：02/10/2026

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