淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq-unimath/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
coq-unimath
File
Size
Last Modified
..
-
Jul 18 2026 02:02:03 AM
coq-unimath_20231010-1build3.debian.tar.xz
2KB
Apr 08 2024 03:57:40 PM
coq-unimath_20231010-1build3.dsc
2KB
Apr 08 2024 03:57:40 PM
coq-unimath_20231010.orig.tar.gz
2825KB
Dec 23 2023 07:27:09 AM
coq-unimath_20240923-2build3.debian.tar.xz
2KB
Feb 19 2025 05:25:07 AM
coq-unimath_20240923-2build3.dsc
2KB
Feb 19 2025 05:25:07 AM
coq-unimath_20240923-2build4.debian.tar.xz
2KB
Jun 20 2025 09:22:26 PM
coq-unimath_20240923-2build4.dsc
2KB
Jun 20 2025 09:22:26 PM
coq-unimath_20240923-2build7.debian.tar.xz
3KB
Mar 04 2026 05:25:18 AM
coq-unimath_20240923-2build7.dsc
2KB
Mar 04 2026 05:25:18 AM
coq-unimath_20240923-2build8.debian.tar.xz
3KB
Jul 08 2026 11:26:04 PM
coq-unimath_20240923-2build8.dsc
2KB
Jul 08 2026 11:26:05 PM
coq-unimath_20240923.orig.tar.gz
3525KB
Nov 21 2024 02:47:26 AM
libcoq-unimath_20231010-1build3_amd64.deb
47616KB
Apr 08 2024 09:14:24 PM
libcoq-unimath_20240923-2build3_amd64.deb
58024KB
Feb 19 2025 08:22:19 AM
libcoq-unimath_20240923-2build4_amd64.deb
57777KB
Jun 20 2025 11:15:16 PM
libcoq-unimath_20240923-2build4_arm64.deb
57779KB
Jun 20 2025 09:24:40 PM
libcoq-unimath_20240923-2build7_amd64.deb
57776KB
Mar 04 2026 05:26:20 AM
libcoq-unimath_20240923-2build7_amd64v3.deb
57776KB
Mar 04 2026 05:26:48 AM
libcoq-unimath_20240923-2build7_arm64.deb
57779KB
Mar 04 2026 05:27:10 AM
libcoq-unimath_20240923-2build8_amd64.deb
57777KB
Jul 09 2026 05:22:42 AM
libcoq-unimath_20240923-2build8_amd64v3.deb
57776KB
Jul 09 2026 05:25:38 AM
libcoq-unimath_20240923-2build8_arm64.deb
57780KB
Jul 09 2026 05:28:11 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：07/21/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Jul 18 2026 02:02:03 AM
coq-unimath_20231010-1build3.debian.tar.xz 2KB Apr 08 2024 03:57:40 PM
coq-unimath_20231010.orig.tar.gz 2825KB Dec 23 2023 07:27:09 AM