淡江大學FTP伺服器

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

Folder.. - Feb 07 2026 01:00:14 AM
coq-theories_8.12.0-3+b3_amd64.debcoq-theories_8.12.0-3+b3_amd64.deb 35646KB Nov 25 2020 03:28:14 PM
coq-theories_8.12.0-3+b3_arm64.debcoq-theories_8.12.0-3+b3_arm64.deb 23365KB Nov 25 2020 03:58:53 PM
coq-theories_8.12.0-3+b3_armhf.debcoq-theories_8.12.0-3+b3_armhf.deb 23358KB Nov 25 2020 03:43:49 PM
coq-theories_8.12.0-3+b3_i386.debcoq-theories_8.12.0-3+b3_i386.deb 34412KB Nov 25 2020 03:18:08 PM
coqide_8.12.0-3+b3_amd64.debcoqide_8.12.0-3+b3_amd64.deb 1835KB Nov 25 2020 03:28:15 PM
coqide_8.12.0-3+b3_arm64.debcoqide_8.12.0-3+b3_arm64.deb 2120KB Nov 25 2020 03:58:54 PM
coqide_8.12.0-3+b3_armhf.debcoqide_8.12.0-3+b3_armhf.deb 1696KB Nov 25 2020 03:43:49 PM
coqide_8.12.0-3+b3_i386.debcoqide_8.12.0-3+b3_i386.deb 1683KB Nov 25 2020 03:18:08 PM
coqide_8.16.1+dfsg-1+b2_amd64.debcoqide_8.16.1+dfsg-1+b2_amd64.deb 1947KB Feb 13 2023 09:14:24 AM
coqide_8.16.1+dfsg-1+b2_arm64.debcoqide_8.16.1+dfsg-1+b2_arm64.deb 2257KB Feb 13 2023 09:55:59 AM
coqide_8.16.1+dfsg-1+b2_armhf.debcoqide_8.16.1+dfsg-1+b2_armhf.deb 1792KB Feb 13 2023 09:55:40 AM
coqide_8.16.1+dfsg-1+b2_i386.debcoqide_8.16.1+dfsg-1+b2_i386.deb 1764KB Feb 13 2023 09:29:50 AM
coqide_8.16.1+dfsg-1+b2_ppc64el.debcoqide_8.16.1+dfsg-1+b2_ppc64el.deb 2028KB Feb 13 2023 11:13:43 AM
coqide_8.16.1+dfsg-1+b2_s390x.debcoqide_8.16.1+dfsg-1+b2_s390x.deb 1934KB Feb 13 2023 09:45:24 AM
coqide_8.20.1+dfsg-1+b1_amd64.debcoqide_8.20.1+dfsg-1+b1_amd64.deb 1885KB Jun 15 2025 09:07:23 AM
coqide_8.20.1+dfsg-1+b1_arm64.debcoqide_8.20.1+dfsg-1+b1_arm64.deb 2194KB Jun 15 2025 01:17:48 PM
coqide_8.20.1+dfsg-1+b1_ppc64el.debcoqide_8.20.1+dfsg-1+b1_ppc64el.deb 1924KB Jun 15 2025 01:53:15 PM
coqide_8.20.1+dfsg-1+b1_riscv64.debcoqide_8.20.1+dfsg-1+b1_riscv64.deb 1948KB Jun 15 2025 12:52:35 PM
coqide_8.20.1+dfsg-1+b1_s390x.debcoqide_8.20.1+dfsg-1+b1_s390x.deb 1929KB Jun 16 2025 08:17:39 PM
coqide_8.20.1+dfsg-1+b2_amd64.debcoqide_8.20.1+dfsg-1+b2_amd64.deb 1906KB Dec 28 2025 02:30:10 AM
coqide_8.20.1+dfsg-1+b2_ppc64el.debcoqide_8.20.1+dfsg-1+b2_ppc64el.deb 1942KB Dec 28 2025 02:40:31 AM
coqide_8.20.1+dfsg-1+b2_riscv64.debcoqide_8.20.1+dfsg-1+b2_riscv64.deb 2000KB Dec 28 2025 10:09:12 AM
coqide_8.20.1+dfsg-1+b2_s390x.debcoqide_8.20.1+dfsg-1+b2_s390x.deb 1979KB Dec 28 2025 04:22:45 AM
coqide_8.20.1+dfsg-1+b3_arm64.debcoqide_8.20.1+dfsg-1+b3_arm64.deb 2191KB Jan 17 2026 01:14:28 PM
coq_8.12.0-3+b3_amd64.debcoq_8.12.0-3+b3_amd64.deb 88333KB Nov 25 2020 03:28:15 PM
coq_8.12.0-3+b3_arm64.debcoq_8.12.0-3+b3_arm64.deb 93820KB Nov 25 2020 03:58:54 PM
coq_8.12.0-3+b3_armhf.debcoq_8.12.0-3+b3_armhf.deb 86284KB Nov 25 2020 03:43:49 PM
coq_8.12.0-3+b3_i386.debcoq_8.12.0-3+b3_i386.deb 85826KB Nov 25 2020 03:18:08 PM
coq_8.12.0-3.debian.tar.xzcoq_8.12.0-3.debian.tar.xz 37KB Sep 10 2020 02:38:30 PM
coq_8.12.0-3.dsccoq_8.12.0-3.dsc 2KB Sep 10 2020 02:38:30 PM
coq_8.12.0.orig.tar.gzcoq_8.12.0.orig.tar.gz 5867KB Aug 22 2020 05:26:38 PM
coq_8.16.1+dfsg-1+b2_amd64.debcoq_8.16.1+dfsg-1+b2_amd64.deb 91028KB Feb 13 2023 09:14:24 AM
coq_8.16.1+dfsg-1+b2_arm64.debcoq_8.16.1+dfsg-1+b2_arm64.deb 99774KB Feb 13 2023 09:55:59 AM
coq_8.16.1+dfsg-1+b2_armhf.debcoq_8.16.1+dfsg-1+b2_armhf.deb 87761KB Feb 13 2023 09:55:40 AM
coq_8.16.1+dfsg-1+b2_i386.debcoq_8.16.1+dfsg-1+b2_i386.deb 85466KB Feb 13 2023 09:29:50 AM
coq_8.16.1+dfsg-1+b2_ppc64el.debcoq_8.16.1+dfsg-1+b2_ppc64el.deb 91686KB Feb 13 2023 11:13:43 AM
coq_8.16.1+dfsg-1+b2_s390x.debcoq_8.16.1+dfsg-1+b2_s390x.deb 91128KB Feb 13 2023 09:45:24 AM
coq_8.16.1+dfsg-1.debian.tar.xzcoq_8.16.1+dfsg-1.debian.tar.xz 32KB Nov 29 2022 04:35:18 PM
coq_8.16.1+dfsg-1.dsccoq_8.16.1+dfsg-1.dsc 3KB Nov 29 2022 04:35:18 PM
coq_8.16.1+dfsg.orig.tar.xzcoq_8.16.1+dfsg.orig.tar.xz 4607KB Nov 29 2022 04:35:18 PM
coq_8.20.1+dfsg-1+b1_amd64.debcoq_8.20.1+dfsg-1+b1_amd64.deb 68576KB Jun 15 2025 09:07:23 AM
coq_8.20.1+dfsg-1+b1_arm64.debcoq_8.20.1+dfsg-1+b1_arm64.deb 72701KB Jun 15 2025 01:17:48 PM
coq_8.20.1+dfsg-1+b1_ppc64el.debcoq_8.20.1+dfsg-1+b1_ppc64el.deb 69194KB Jun 15 2025 01:53:15 PM
coq_8.20.1+dfsg-1+b1_riscv64.debcoq_8.20.1+dfsg-1+b1_riscv64.deb 69526KB Jun 15 2025 12:52:35 PM
coq_8.20.1+dfsg-1+b1_s390x.debcoq_8.20.1+dfsg-1+b1_s390x.deb 69370KB Jun 16 2025 08:17:39 PM
coq_8.20.1+dfsg-1+b2_amd64.debcoq_8.20.1+dfsg-1+b2_amd64.deb 69452KB Dec 28 2025 02:30:10 AM
coq_8.20.1+dfsg-1+b2_ppc64el.debcoq_8.20.1+dfsg-1+b2_ppc64el.deb 70005KB Dec 28 2025 02:40:31 AM
coq_8.20.1+dfsg-1+b2_riscv64.debcoq_8.20.1+dfsg-1+b2_riscv64.deb 70674KB Dec 28 2025 10:09:12 AM
coq_8.20.1+dfsg-1+b2_s390x.debcoq_8.20.1+dfsg-1+b2_s390x.deb 70456KB Dec 28 2025 04:22:45 AM
coq_8.20.1+dfsg-1+b3_arm64.debcoq_8.20.1+dfsg-1+b3_arm64.deb 73128KB Jan 17 2026 01:14:28 PM
coq_8.20.1+dfsg-1.debian.tar.xzcoq_8.20.1+dfsg-1.debian.tar.xz 30KB Feb 18 2025 12:37:02 AM
coq_8.20.1+dfsg-1.dsccoq_8.20.1+dfsg-1.dsc 3KB Feb 18 2025 12:37:02 AM
coq_8.20.1+dfsg.orig.tar.xzcoq_8.20.1+dfsg.orig.tar.xz 4897KB Feb 18 2025 12:37:02 AM
coq_9.1.0+dfsg-3+b1_amd64.debcoq_9.1.0+dfsg-3+b1_amd64.deb 39244KB Dec 28 2025 02:30:14 AM
coq_9.1.0+dfsg-3+b1_arm64.debcoq_9.1.0+dfsg-3+b1_arm64.deb 42684KB Dec 28 2025 01:44:04 AM
coq_9.1.0+dfsg-3+b1_armhf.debcoq_9.1.0+dfsg-3+b1_armhf.deb 23012KB Dec 28 2025 01:23:48 AM
coq_9.1.0+dfsg-3+b1_i386.debcoq_9.1.0+dfsg-3+b1_i386.deb 23242KB Dec 28 2025 02:35:20 AM
coq_9.1.0+dfsg-3+b1_ppc64el.debcoq_9.1.0+dfsg-3+b1_ppc64el.deb 39891KB Dec 28 2025 02:40:35 AM
coq_9.1.0+dfsg-3+b1_riscv64.debcoq_9.1.0+dfsg-3+b1_riscv64.deb 40375KB Dec 30 2025 07:19:12 PM
coq_9.1.0+dfsg-3+b1_s390x.debcoq_9.1.0+dfsg-3+b1_s390x.deb 40302KB Dec 28 2025 05:19:06 AM
coq_9.1.0+dfsg-3.debian.tar.xzcoq_9.1.0+dfsg-3.debian.tar.xz 24KB Nov 12 2025 01:29:44 AM
coq_9.1.0+dfsg-3.dsccoq_9.1.0+dfsg-3.dsc 2KB Nov 12 2025 01:29:44 AM
coq_9.1.0+dfsg.orig.tar.xzcoq_9.1.0+dfsg.orig.tar.xz 3744KB Sep 18 2025 12:17:04 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_a... 41724KB Feb 13 2023 09:14:24 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_a... 41821KB Feb 13 2023 09:55:59 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_a... 42104KB Feb 13 2023 09:55:40 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i... 41455KB Feb 13 2023 09:29:50 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_p... 42541KB Feb 13 2023 11:13:44 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deblibcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s... 41256KB Feb 13 2023 09:45:25 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_a... 67090KB Jun 15 2025 09:07:24 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_a... 66962KB Jun 15 2025 01:17:48 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_p... 67708KB Jun 15 2025 01:53:15 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_r... 71822KB Jun 15 2025 12:52:35 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s... 66590KB Jun 16 2025 08:17:39 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_a... 50795KB Dec 28 2025 02:30:10 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_p... 51424KB Dec 28 2025 02:40:31 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_r... 55602KB Dec 28 2025 10:09:12 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s... 50616KB Dec 28 2025 04:22:45 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_a... 50642KB Jan 17 2026 01:14:28 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_amd64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_am... 52459KB Dec 28 2025 02:30:15 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_arm64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ar... 52324KB Dec 28 2025 01:44:04 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ar... 43822KB Dec 28 2025 01:23:49 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i3... 43823KB Dec 28 2025 02:35:20 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_pp... 53164KB Dec 28 2025 02:40:35 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_riscv64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ri... 57391KB Dec 30 2025 07:19:13 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s3... 52278KB Dec 28 2025 05:19:06 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64... 22027KB Feb 13 2023 09:14:24 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64... 22552KB Feb 13 2023 09:55:59 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf... 21738KB Feb 13 2023 09:55:40 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 21237KB Feb 13 2023 09:29:50 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64... 22090KB Feb 13 2023 11:13:44 AM
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deblibcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x... 22090KB Feb 13 2023 09:45:25 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64... 25347KB Jun 15 2025 09:07:24 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64... 25770KB Jun 15 2025 01:17:48 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64... 25372KB Jun 15 2025 01:53:15 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv... 25411KB Jun 15 2025 12:52:35 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deblibcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x... 25392KB Jun 16 2025 08:17:39 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_amd64... 23640KB Dec 28 2025 02:30:10 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64... 23680KB Dec 28 2025 02:40:31 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv... 23786KB Dec 28 2025 10:09:12 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deblibcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x... 23751KB Dec 28 2025 04:22:45 AM
libcoq-core-ocaml_8.20.1+dfsg-1+b3_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b3_arm64... 24052KB Jan 17 2026 01:14:28 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_amd64.deb 24390KB Dec 28 2025 02:30:15 AM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_arm64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_arm64.deb 24807KB Dec 28 2025 01:44:04 AM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb 17070KB Dec 28 2025 01:23:49 AM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb 17076KB Dec 28 2025 02:35:20 AM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64e... 24420KB Dec 28 2025 02:40:35 AM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_riscv64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_riscv6... 24554KB Dec 30 2025 07:19:13 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deblibcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb 24490KB Dec 28 2025 05:19:06 AM
libcoq-core_9.1.0+dfsg-3+b1_amd64.deblibcoq-core_9.1.0+dfsg-3+b1_amd64.deb 1112KB Dec 28 2025 02:30:15 AM
libcoq-core_9.1.0+dfsg-3+b1_arm64.deblibcoq-core_9.1.0+dfsg-3+b1_arm64.deb 1112KB Dec 28 2025 01:44:04 AM
libcoq-core_9.1.0+dfsg-3+b1_armhf.deblibcoq-core_9.1.0+dfsg-3+b1_armhf.deb 1113KB Dec 28 2025 01:23:49 AM
libcoq-core_9.1.0+dfsg-3+b1_i386.deblibcoq-core_9.1.0+dfsg-3+b1_i386.deb 1112KB Dec 28 2025 02:35:20 AM
libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deblibcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb 1114KB Dec 28 2025 02:40:35 AM
libcoq-core_9.1.0+dfsg-3+b1_riscv64.deblibcoq-core_9.1.0+dfsg-3+b1_riscv64.deb 1110KB Dec 30 2025 07:19:13 PM
libcoq-core_9.1.0+dfsg-3+b1_s390x.deblibcoq-core_9.1.0+dfsg-3+b1_s390x.deb 1111KB Dec 28 2025 05:19:06 AM
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deblibcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 18288KB Nov 25 2020 03:28:15 PM
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deblibcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 18288KB Nov 25 2020 03:58:54 PM
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deblibcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 18745KB Nov 25 2020 03:43:50 PM
libcoq-ocaml-dev_8.12.0-3+b3_i386.deblibcoq-ocaml-dev_8.12.0-3+b3_i386.deb 18221KB Nov 25 2020 03:18:08 PM
libcoq-ocaml_8.12.0-3+b3_amd64.deblibcoq-ocaml_8.12.0-3+b3_amd64.deb 7576KB Nov 25 2020 03:28:15 PM
libcoq-ocaml_8.12.0-3+b3_arm64.deblibcoq-ocaml_8.12.0-3+b3_arm64.deb 7793KB Nov 25 2020 03:58:54 PM
libcoq-ocaml_8.12.0-3+b3_armhf.deblibcoq-ocaml_8.12.0-3+b3_armhf.deb 7562KB Nov 25 2020 03:43:50 PM
libcoq-ocaml_8.12.0-3+b3_i386.deblibcoq-ocaml_8.12.0-3+b3_i386.deb 7398KB Nov 25 2020 03:18:09 PM
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deblibcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 21022KB Feb 13 2023 09:14:24 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deblibcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 21023KB Feb 13 2023 09:55:59 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deblibcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 21023KB Feb 13 2023 09:55:40 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deblibcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 21024KB Feb 13 2023 09:29:50 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deblibcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 21024KB Feb 13 2023 11:13:44 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deblibcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 21025KB Feb 13 2023 09:45:25 AM
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 22976KB Jun 15 2025 09:07:24 AM
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 22980KB Jun 15 2025 01:17:48 PM
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deblibcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb 22978KB Jun 15 2025 01:53:16 PM
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deblibcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 22977KB Jun 15 2025 12:52:36 PM
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deblibcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 22977KB Jun 16 2025 08:17:39 PM
libcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b2_amd64.deb 22979KB Dec 28 2025 02:30:10 AM
libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deblibcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb 22978KB Dec 28 2025 02:40:31 AM
libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deblibcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb 22979KB Dec 28 2025 10:09:12 AM
libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deblibcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb 22978KB Dec 28 2025 04:22:45 AM
libcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b3_arm64.deb 22975KB Jan 17 2026 01:14:28 PM
rocqide_9.1.0+dfsg-3+b1_amd64.debrocqide_9.1.0+dfsg-3+b1_amd64.deb 1904KB Dec 28 2025 02:30:15 AM
rocqide_9.1.0+dfsg-3+b1_arm64.debrocqide_9.1.0+dfsg-3+b1_arm64.deb 2201KB Dec 28 2025 01:44:04 AM
rocqide_9.1.0+dfsg-3+b1_armhf.debrocqide_9.1.0+dfsg-3+b1_armhf.deb 556KB Dec 28 2025 01:23:49 AM
rocqide_9.1.0+dfsg-3+b1_i386.debrocqide_9.1.0+dfsg-3+b1_i386.deb 626KB Dec 28 2025 02:35:20 AM
rocqide_9.1.0+dfsg-3+b1_ppc64el.debrocqide_9.1.0+dfsg-3+b1_ppc64el.deb 1947KB Dec 28 2025 02:40:35 AM
rocqide_9.1.0+dfsg-3+b1_riscv64.debrocqide_9.1.0+dfsg-3+b1_riscv64.deb 2001KB Dec 30 2025 07:19:13 PM
rocqide_9.1.0+dfsg-3+b1_s390x.debrocqide_9.1.0+dfsg-3+b1_s390x.deb 1985KB Dec 28 2025 05:19:07 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：02/08/2026

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