淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/c/coq-bignums/

Folder.. - Feb 07 2026 01:00:14 AM
coq-bignums_8.17.0-2.debian.tar.xzcoq-bignums_8.17.0-2.debian.tar.xz 2KB Jan 25 2023 02:45:57 PM
coq-bignums_8.17.0-2.dsccoq-bignums_8.17.0-2.dsc 2KB Jan 25 2023 02:45:57 PM
coq-bignums_8.17.0.orig.tar.gzcoq-bignums_8.17.0.orig.tar.gz 113KB Dec 27 2022 08:57:26 PM
coq-bignums_9.0.0+coq8.20-1.debian.tar.xzcoq-bignums_9.0.0+coq8.20-1.debian.tar.xz 2KB Jun 25 2024 02:50:57 PM
coq-bignums_9.0.0+coq8.20-1.dsccoq-bignums_9.0.0+coq8.20-1.dsc 2KB Jun 25 2024 02:50:57 PM
coq-bignums_9.0.0+coq8.20.orig.tar.gzcoq-bignums_9.0.0+coq8.20.orig.tar.gz 115KB Jun 25 2024 02:50:57 PM
coq-bignums_9.0.0+rocq9.1-2.debian.tar.xzcoq-bignums_9.0.0+rocq9.1-2.debian.tar.xz 2KB Nov 12 2025 01:34:46 AM
coq-bignums_9.0.0+rocq9.1-2.dsccoq-bignums_9.0.0+rocq9.1-2.dsc 2KB Nov 12 2025 01:34:46 AM
coq-bignums_9.0.0+rocq9.1.orig.tar.gzcoq-bignums_9.0.0+rocq9.1.orig.tar.gz 114KB Oct 29 2025 03:18:17 PM
libcoq-bignums_8.17.0-2+b1_amd64.deblibcoq-bignums_8.17.0-2+b1_amd64.deb 1782KB Feb 13 2023 01:11:13 PM
libcoq-bignums_8.17.0-2+b1_arm64.deblibcoq-bignums_8.17.0-2+b1_arm64.deb 1782KB Feb 13 2023 01:11:28 PM
libcoq-bignums_8.17.0-2+b1_armhf.deblibcoq-bignums_8.17.0-2+b1_armhf.deb 1781KB Feb 13 2023 01:26:59 PM
libcoq-bignums_8.17.0-2+b1_i386.deblibcoq-bignums_8.17.0-2+b1_i386.deb 1780KB Feb 13 2023 01:06:08 PM
libcoq-bignums_8.17.0-2+b1_ppc64el.deblibcoq-bignums_8.17.0-2+b1_ppc64el.deb 1782KB Feb 13 2023 01:11:17 PM
libcoq-bignums_8.17.0-2+b1_s390x.deblibcoq-bignums_8.17.0-2+b1_s390x.deb 1782KB Feb 13 2023 01:06:10 PM
libcoq-bignums_9.0.0+coq8.20-1+b8_arm64.deblibcoq-bignums_9.0.0+coq8.20-1+b8_arm64.deb 1870KB Jun 15 2025 06:55:02 PM
libcoq-bignums_9.0.0+coq8.20-1+b8_riscv64.deblibcoq-bignums_9.0.0+coq8.20-1+b8_riscv6... 1869KB Jun 15 2025 07:05:09 PM
libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deblibcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb 1869KB Jun 15 2025 06:49:52 PM
libcoq-bignums_9.0.0+coq8.20-1+b9_arm64.deblibcoq-bignums_9.0.0+coq8.20-1+b9_arm64.deb 1870KB Dec 28 2025 12:20:12 PM
libcoq-bignums_9.0.0+coq8.20-1+b9_ppc64el.deblibcoq-bignums_9.0.0+coq8.20-1+b9_ppc64e... 1869KB Jun 15 2025 06:44:48 PM
libcoq-bignums_9.0.0+coq8.20-1+b9_riscv64.deblibcoq-bignums_9.0.0+coq8.20-1+b9_riscv6... 1870KB Dec 28 2025 12:45:31 PM
libcoq-bignums_9.0.0+coq8.20-1+b9_s390x.deblibcoq-bignums_9.0.0+coq8.20-1+b9_s390x.deb 1869KB Jun 17 2025 04:11:35 PM
libcoq-bignums_9.0.0+coq8.20-1+b10_amd64.deblibcoq-bignums_9.0.0+coq8.20-1+b10_amd64... 1869KB Dec 28 2025 12:20:05 PM
libcoq-bignums_9.0.0+coq8.20-1+b10_ppc64el.deblibcoq-bignums_9.0.0+coq8.20-1+b10_ppc64... 1869KB Dec 28 2025 12:15:00 PM
libcoq-bignums_9.0.0+coq8.20-1+b10_s390x.deblibcoq-bignums_9.0.0+coq8.20-1+b10_s390x... 1870KB Dec 28 2025 12:15:00 PM
libcoq-bignums_9.0.0+rocq9.1-2_amd64.deblibcoq-bignums_9.0.0+rocq9.1-2_amd64.deb 1860KB Nov 12 2025 01:34:46 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：02/08/2026

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