淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/c/coq-unimath/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
c
>
coq-unimath
File
Size
Last Modified
..
-
May 04 2025 05:10:09 PM
coq-unimath_20220816-2.debian.tar.xz
2KB
Jan 25 2023 07:55:54 PM
coq-unimath_20220816-2.dsc
2KB
Jan 25 2023 07:55:54 PM
coq-unimath_20220816.orig.tar.gz
1940KB
Aug 22 2022 08:11:16 PM
coq-unimath_20240923-2.debian.tar.xz
2KB
Nov 25 2024 09:32:03 PM
coq-unimath_20240923-2.dsc
2KB
Nov 25 2024 09:32:03 PM
coq-unimath_20240923.orig.tar.gz
3525KB
Nov 20 2024 06:02:49 PM
libcoq-unimath_20220816-2+b1_amd64.deb
39847KB
Feb 13 2023 04:59:43 PM
libcoq-unimath_20220816-2+b1_arm64.deb
39803KB
Feb 13 2023 10:58:25 PM
libcoq-unimath_20220816-2+b1_armhf.deb
39827KB
Feb 14 2023 02:56:59 AM
libcoq-unimath_20220816-2+b1_i386.deb
39949KB
Feb 13 2023 04:59:42 PM
libcoq-unimath_20220816-2+b1_ppc64el.deb
39829KB
Feb 13 2023 11:44:36 PM
libcoq-unimath_20220816-2+b1_s390x.deb
39838KB
Feb 13 2023 05:44:58 PM
libcoq-unimath_20240923-2+b4_amd64.deb
50653KB
Jun 15 2025 07:45:33 PM
libcoq-unimath_20240923-2+b4_arm64.deb
50655KB
Jun 15 2025 07:40:31 PM
libcoq-unimath_20240923-2+b4_ppc64el.deb
50657KB
Jun 15 2025 07:45:34 PM
libcoq-unimath_20240923-2+b4_riscv64.deb
50653KB
Jun 17 2025 01:29:37 AM
libcoq-unimath_20240923-2+b4_s390x.deb
50652KB
Jun 17 2025 01:34:38 AM
單位聯絡:張維廷 Tel:26215656 分機 2628 更新日期:07/05/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本,最佳視窗解析度為1024x768