淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq-unicoq/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
coq-unicoq
File
Size
Last Modified
..
-
Jul 21 2026 09:26:19 PM
coq-unicoq_1.6-8.18-1build3.debian.tar.xz
3KB
Apr 08 2024 03:57:40 PM
coq-unicoq_1.6-8.18-1build3.dsc
2KB
Apr 08 2024 03:57:40 PM
coq-unicoq_1.6-8.18.orig.tar.gz
580KB
Dec 23 2023 01:26:56 AM
coq-unicoq_1.6-8.20-1build3.debian.tar.xz
3KB
Feb 19 2025 05:25:07 AM
coq-unicoq_1.6-8.20-1build3.dsc
2KB
Feb 19 2025 05:25:07 AM
coq-unicoq_1.6-8.20-1build4.debian.tar.xz
3KB
Jun 20 2025 09:22:26 PM
coq-unicoq_1.6-8.20-1build4.dsc
2KB
Jun 20 2025 09:22:26 PM
coq-unicoq_1.6-8.20-1build7.debian.tar.xz
3KB
Mar 04 2026 05:25:18 AM
coq-unicoq_1.6-8.20-1build7.dsc
2KB
Mar 04 2026 05:25:18 AM
coq-unicoq_1.6-8.20-1build8.debian.tar.xz
3KB
Jul 08 2026 11:26:08 PM
coq-unicoq_1.6-8.20-1build8.dsc
2KB
Jul 08 2026 11:26:08 PM
coq-unicoq_1.6-8.20.orig.tar.gz
580KB
Nov 24 2024 08:12:05 AM
libcoq-unicoq_1.6-8.18-1build3_amd64.deb
86KB
Apr 08 2024 03:57:47 PM
libcoq-unicoq_1.6-8.20-1build3_amd64.deb
91KB
Feb 19 2025 05:25:33 AM
libcoq-unicoq_1.6-8.20-1build4_amd64.deb
91KB
Jun 20 2025 09:23:37 PM
libcoq-unicoq_1.6-8.20-1build4_arm64.deb
100KB
Jun 20 2025 09:24:43 PM
libcoq-unicoq_1.6-8.20-1build7_amd64.deb
90KB
Mar 04 2026 05:26:26 AM
libcoq-unicoq_1.6-8.20-1build7_amd64v3.deb
90KB
Mar 04 2026 05:26:55 AM
libcoq-unicoq_1.6-8.20-1build7_arm64.deb
100KB
Mar 04 2026 05:27:16 AM
libcoq-unicoq_1.6-8.20-1build8_amd64.deb
91KB
Jul 09 2026 05:23:09 AM
libcoq-unicoq_1.6-8.20-1build8_amd64v3.deb
91KB
Jul 09 2026 05:25:51 AM
libcoq-unicoq_1.6-8.20-1build8_arm64.deb
100KB
Jul 09 2026 05:28:21 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：07/23/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Jul 21 2026 09:26:19 PM
coq-unicoq_1.6-8.18-1build3.debian.tar.xz 3KB Apr 08 2024 03:57:40 PM
coq-unicoq_1.6-8.18.orig.tar.gz 580KB Dec 23 2023 01:26:56 AM