淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/c/coqprime/

Folder.. - Apr 01 2025 11:00:12 PM
coqprime-tools_8.15-2+b1_amd64.debcoqprime-tools_8.15-2+b1_amd64.deb 132KB Feb 13 2023 03:44:04 PM
coqprime-tools_8.15-2+b1_arm64.debcoqprime-tools_8.15-2+b1_arm64.deb 131KB Feb 13 2023 03:44:05 PM
coqprime-tools_8.15-2+b1_armhf.debcoqprime-tools_8.15-2+b1_armhf.deb 129KB Feb 13 2023 03:44:18 PM
coqprime-tools_8.15-2+b1_i386.debcoqprime-tools_8.15-2+b1_i386.deb 134KB Feb 13 2023 03:44:16 PM
coqprime-tools_8.15-2+b1_ppc64el.debcoqprime-tools_8.15-2+b1_ppc64el.deb 133KB Feb 14 2023 07:27:30 PM
coqprime-tools_8.15-2+b1_s390x.debcoqprime-tools_8.15-2+b1_s390x.deb 130KB Feb 13 2023 03:39:03 PM
coqprime-tools_8.20.1-1+b3_amd64.debcoqprime-tools_8.20.1-1+b3_amd64.deb 140KB Feb 18 2025 08:36:06 AM
coqprime-tools_8.20.1-1+b3_arm64.debcoqprime-tools_8.20.1-1+b3_arm64.deb 139KB Feb 18 2025 08:51:40 AM
coqprime-tools_8.20.1-1+b3_ppc64el.debcoqprime-tools_8.20.1-1+b3_ppc64el.deb 141KB Feb 18 2025 08:36:07 AM
coqprime-tools_8.20.1-1+b3_riscv64.debcoqprime-tools_8.20.1-1+b3_riscv64.deb 141KB Feb 18 2025 02:24:52 PM
coqprime-tools_8.20.1-1+b3_s390x.debcoqprime-tools_8.20.1-1+b3_s390x.deb 138KB Feb 19 2025 01:06:44 AM
coqprime_8.15-2.debian.tar.xzcoqprime_8.15-2.debian.tar.xz 3KB Jan 26 2023 08:44:44 PM
coqprime_8.15-2.dsccoqprime_8.15-2.dsc 2KB Jan 26 2023 08:44:44 PM
coqprime_8.15.orig.tar.gzcoqprime_8.15.orig.tar.gz 964KB Jul 15 2022 04:46:49 PM
coqprime_8.20.1-1.debian.tar.xzcoqprime_8.20.1-1.debian.tar.xz 3KB Jan 24 2025 06:02:59 AM
coqprime_8.20.1-1.dsccoqprime_8.20.1-1.dsc 2KB Jan 24 2025 06:02:59 AM
coqprime_8.20.1.orig.tar.gzcoqprime_8.20.1.orig.tar.gz 973KB Jan 24 2025 06:02:59 AM
libcoq-coqprime_8.15-2+b1_amd64.deblibcoq-coqprime_8.15-2+b1_amd64.deb 1614KB Feb 13 2023 03:44:04 PM
libcoq-coqprime_8.15-2+b1_arm64.deblibcoq-coqprime_8.15-2+b1_arm64.deb 1614KB Feb 13 2023 03:44:05 PM
libcoq-coqprime_8.15-2+b1_armhf.deblibcoq-coqprime_8.15-2+b1_armhf.deb 1614KB Feb 13 2023 03:44:18 PM
libcoq-coqprime_8.15-2+b1_i386.deblibcoq-coqprime_8.15-2+b1_i386.deb 1614KB Feb 13 2023 03:44:16 PM
libcoq-coqprime_8.15-2+b1_ppc64el.deblibcoq-coqprime_8.15-2+b1_ppc64el.deb 1614KB Feb 14 2023 07:27:30 PM
libcoq-coqprime_8.15-2+b1_s390x.deblibcoq-coqprime_8.15-2+b1_s390x.deb 1614KB Feb 13 2023 03:39:03 PM
libcoq-coqprime_8.20.1-1+b3_amd64.deblibcoq-coqprime_8.20.1-1+b3_amd64.deb 1738KB Feb 18 2025 08:36:06 AM
libcoq-coqprime_8.20.1-1+b3_arm64.deblibcoq-coqprime_8.20.1-1+b3_arm64.deb 1736KB Feb 18 2025 08:51:40 AM
libcoq-coqprime_8.20.1-1+b3_ppc64el.deblibcoq-coqprime_8.20.1-1+b3_ppc64el.deb 1738KB Feb 18 2025 08:36:07 AM
libcoq-coqprime_8.20.1-1+b3_riscv64.deblibcoq-coqprime_8.20.1-1+b3_riscv64.deb 1738KB Feb 18 2025 02:24:52 PM
libcoq-coqprime_8.20.1-1+b3_s390x.deblibcoq-coqprime_8.20.1-1+b3_s390x.deb 1737KB Feb 19 2025 01:06:44 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/03/2025

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