淡江大學FTP伺服器

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

Folder.. - Aug 13 2026 09:33:18 AM
coq-equations_1.3-8.18-1build3.debian.tar.xzcoq-equations_1.3-8.18-1build3.debian.ta... 3KB Apr 08 2024 03:57:39 PM
coq-equations_1.3-8.18-1build3.dsccoq-equations_1.3-8.18-1build3.dsc 2KB Apr 08 2024 03:57:39 PM
coq-equations_1.3-8.18.orig.tar.gzcoq-equations_1.3-8.18.orig.tar.gz 1077KB Dec 24 2023 01:16:59 AM
coq-equations_1.3.1-8.20-1build4.debian.tar.xzcoq-equations_1.3.1-8.20-1build4.debian.... 3KB Feb 19 2025 03:52:17 PM
coq-equations_1.3.1-8.20-1build4.dsccoq-equations_1.3.1-8.20-1build4.dsc 2KB Feb 19 2025 03:52:17 PM
coq-equations_1.3.1-8.20-1build5.debian.tar.xzcoq-equations_1.3.1-8.20-1build5.debian.... 3KB Jun 20 2025 09:22:25 PM
coq-equations_1.3.1-8.20-1build5.dsccoq-equations_1.3.1-8.20-1build5.dsc 2KB Jun 20 2025 09:22:26 PM
coq-equations_1.3.1-8.20-1build8.debian.tar.xzcoq-equations_1.3.1-8.20-1build8.debian.... 3KB Mar 05 2026 01:33:31 AM
coq-equations_1.3.1-8.20-1build8.dsccoq-equations_1.3.1-8.20-1build8.dsc 2KB Mar 05 2026 01:33:31 AM
coq-equations_1.3.1-8.20.orig.tar.gzcoq-equations_1.3.1-8.20.orig.tar.gz 1078KB Nov 21 2024 02:47:28 AM
coq-equations_1.3.2-9.2-2build2.debian.tar.xzcoq-equations_1.3.2-9.2-2build2.debian.t... 4KB Aug 31 2026 04:08:18 PM
coq-equations_1.3.2-9.2-2build2.dsccoq-equations_1.3.2-9.2-2build2.dsc 2KB Aug 31 2026 04:08:18 PM
coq-equations_1.3.2-9.2.orig.tar.gzcoq-equations_1.3.2-9.2.orig.tar.gz 1102KB Jul 29 2026 08:05:59 AM
libcoq-equations_1.3-8.18-1build3_amd64.deblibcoq-equations_1.3-8.18-1build3_amd64.deb 1554KB Apr 08 2024 06:59:16 PM
libcoq-equations_1.3.1-8.20-1build4_amd64.deblibcoq-equations_1.3.1-8.20-1build4_amd6... 1316KB Feb 19 2025 03:53:21 PM
libcoq-equations_1.3.1-8.20-1build5_amd64.deblibcoq-equations_1.3.1-8.20-1build5_amd6... 1315KB Jun 21 2025 01:40:40 AM
libcoq-equations_1.3.1-8.20-1build5_arm64.deblibcoq-equations_1.3.1-8.20-1build5_arm6... 1380KB Jun 21 2025 01:40:44 AM
libcoq-equations_1.3.1-8.20-1build8_amd64.deblibcoq-equations_1.3.1-8.20-1build8_amd6... 1312KB Mar 05 2026 01:34:40 AM
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deblibcoq-equations_1.3.1-8.20-1build8_amd6... 1312KB Mar 05 2026 01:34:47 AM
libcoq-equations_1.3.1-8.20-1build8_arm64.deblibcoq-equations_1.3.1-8.20-1build8_arm6... 1377KB Mar 05 2026 01:34:51 AM
libcoq-equations_1.3.2-9.2-2build2_amd64.deblibcoq-equations_1.3.2-9.2-2build2_amd64... 10311KB Aug 31 2026 04:28:01 PM
libcoq-equations_1.3.2-9.2-2build2_amd64v3.deblibcoq-equations_1.3.2-9.2-2build2_amd64... 10311KB Aug 31 2026 04:28:07 PM
libcoq-equations_1.3.2-9.2-2build2_arm64.deblibcoq-equations_1.3.2-9.2-2build2_arm64... 10391KB Aug 31 2026 04:28:09 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：09/08/2026

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