淡江大學FTP伺服器

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

Folder.. - Jul 04 2026 12:01:21 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+b3_ppc64el.debcoqide_8.20.1+dfsg-1+b3_ppc64el.deb 1934KB Jun 19 2026 03:10:35 PM
coqide_8.20.1+dfsg-1+b3_riscv64.debcoqide_8.20.1+dfsg-1+b3_riscv64.deb 1994KB Jun 20 2026 05:02:55 PM
coqide_8.20.1+dfsg-1+b3_s390x.debcoqide_8.20.1+dfsg-1+b3_s390x.deb 1963KB Jun 18 2026 07:54:27 PM
coqide_8.20.1+dfsg-1+b4_amd64.debcoqide_8.20.1+dfsg-1+b4_amd64.deb 1891KB Jun 19 2026 01:42:49 PM
coqide_8.20.1+dfsg-1+b5_arm64.debcoqide_8.20.1+dfsg-1+b5_arm64.deb 2199KB Jun 19 2026 02:35:01 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+b3_ppc64el.debcoq_8.20.1+dfsg-1+b3_ppc64el.deb 70011KB Jun 19 2026 03:10:35 PM
coq_8.20.1+dfsg-1+b3_riscv64.debcoq_8.20.1+dfsg-1+b3_riscv64.deb 70663KB Jun 20 2026 05:02:55 PM
coq_8.20.1+dfsg-1+b3_s390x.debcoq_8.20.1+dfsg-1+b3_s390x.deb 70427KB Jun 18 2026 07:54:27 PM
coq_8.20.1+dfsg-1+b4_amd64.debcoq_8.20.1+dfsg-1+b4_amd64.deb 69445KB Jun 19 2026 01:42:49 PM
coq_8.20.1+dfsg-1+b5_arm64.debcoq_8.20.1+dfsg-1+b5_arm64.deb 73116KB Jun 19 2026 02:35:01 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+b2_armhf.debcoq_9.1.0+dfsg-3+b2_armhf.deb 23009KB Jun 19 2026 03:31:32 PM
coq_9.1.0+dfsg-3+b2_i386.debcoq_9.1.0+dfsg-3+b2_i386.deb 23235KB Jun 19 2026 03:41:41 PM
coq_9.1.0+dfsg-3+b2_ppc64el.debcoq_9.1.0+dfsg-3+b2_ppc64el.deb 39900KB Jun 19 2026 03:05:28 PM
coq_9.1.0+dfsg-3+b2_s390x.debcoq_9.1.0+dfsg-3+b2_s390x.deb 40304KB Jun 18 2026 09:45:38 PM
coq_9.1.0+dfsg-3+b3_amd64.debcoq_9.1.0+dfsg-3+b3_amd64.deb 39234KB Jun 19 2026 02:08:56 PM
coq_9.1.0+dfsg-3+b3_arm64.debcoq_9.1.0+dfsg-3+b3_arm64.deb 42665KB Jun 19 2026 02:29:47 PM
coq_9.1.0+dfsg-3+b3_riscv64.debcoq_9.1.0+dfsg-3+b3_riscv64.deb 40376KB Jun 26 2026 04:36:59 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+b3_ppc64el.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_p... 51424KB Jun 19 2026 03:10:35 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_r... 55616KB Jun 20 2026 05:02:55 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s... 50618KB Jun 18 2026 07:54:27 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_a... 50785KB Jun 19 2026 01:42:50 PM
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_a... 51112KB Jun 19 2026 02:35:02 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_armhf.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_ar... 43809KB Jun 19 2026 03:31:32 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_i386.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_i3... 43822KB Jun 19 2026 03:41:41 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_ppc64el.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_pp... 53152KB Jun 19 2026 03:05:28 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_s390x.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_s3... 52289KB Jun 18 2026 09:45:38 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_amd64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_am... 52464KB Jun 19 2026 02:08:56 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_arm64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_ar... 52827KB Jun 19 2026 02:29:47 PM
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_riscv64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3+b3_ri... 57413KB Jun 26 2026 04:36:59 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+b3_ppc64el.deblibcoq-core-ocaml_8.20.1+dfsg-1+b3_ppc64... 23676KB Jun 19 2026 03:10:35 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv... 23787KB Jun 20 2026 05:02:55 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deblibcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x... 23750KB Jun 18 2026 07:54:28 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64... 23637KB Jun 19 2026 01:42:50 PM
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64... 24044KB Jun 19 2026 02:35:02 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b2_armhf.deblibcoq-core-ocaml_9.1.0+dfsg-3+b2_armhf.deb 17066KB Jun 19 2026 03:31:33 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b2_i386.deblibcoq-core-ocaml_9.1.0+dfsg-3+b2_i386.deb 17072KB Jun 19 2026 03:41:41 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b2_ppc64el.deblibcoq-core-ocaml_9.1.0+dfsg-3+b2_ppc64e... 24418KB Jun 19 2026 03:05:28 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b2_s390x.deblibcoq-core-ocaml_9.1.0+dfsg-3+b2_s390x.deb 24485KB Jun 18 2026 09:45:38 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b3_amd64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b3_amd64.deb 24390KB Jun 19 2026 02:08:56 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b3_arm64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b3_arm64.deb 24805KB Jun 19 2026 02:29:47 PM
libcoq-core-ocaml_9.1.0+dfsg-3+b3_riscv64.deblibcoq-core-ocaml_9.1.0+dfsg-3+b3_riscv6... 24543KB Jun 26 2026 04:36:59 AM
libcoq-core_9.1.0+dfsg-3+b2_armhf.deblibcoq-core_9.1.0+dfsg-3+b2_armhf.deb 1108KB Jun 19 2026 03:31:33 PM
libcoq-core_9.1.0+dfsg-3+b2_i386.deblibcoq-core_9.1.0+dfsg-3+b2_i386.deb 1107KB Jun 19 2026 03:41:41 PM
libcoq-core_9.1.0+dfsg-3+b2_ppc64el.deblibcoq-core_9.1.0+dfsg-3+b2_ppc64el.deb 1109KB Jun 19 2026 03:05:28 PM
libcoq-core_9.1.0+dfsg-3+b2_s390x.deblibcoq-core_9.1.0+dfsg-3+b2_s390x.deb 1109KB Jun 18 2026 09:45:38 PM
libcoq-core_9.1.0+dfsg-3+b3_amd64.deblibcoq-core_9.1.0+dfsg-3+b3_amd64.deb 1108KB Jun 19 2026 02:08:56 PM
libcoq-core_9.1.0+dfsg-3+b3_arm64.deblibcoq-core_9.1.0+dfsg-3+b3_arm64.deb 1109KB Jun 19 2026 02:29:47 PM
libcoq-core_9.1.0+dfsg-3+b3_riscv64.deblibcoq-core_9.1.0+dfsg-3+b3_riscv64.deb 1109KB Jun 26 2026 04:36:59 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+b3_ppc64el.deblibcoq-stdlib_8.20.1+dfsg-1+b3_ppc64el.deb 22977KB Jun 19 2026 03:10:36 PM
libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deblibcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb 22976KB Jun 20 2026 05:02:55 PM
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deblibcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb 22973KB Jun 18 2026 07:54:28 PM
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deblibcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 22974KB Jun 19 2026 01:42:50 PM
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deblibcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 22974KB Jun 19 2026 02:35:02 PM
rocqide_9.1.0+dfsg-3+b2_armhf.debrocqide_9.1.0+dfsg-3+b2_armhf.deb 553KB Jun 19 2026 03:31:33 PM
rocqide_9.1.0+dfsg-3+b2_i386.debrocqide_9.1.0+dfsg-3+b2_i386.deb 623KB Jun 19 2026 03:41:41 PM
rocqide_9.1.0+dfsg-3+b2_ppc64el.debrocqide_9.1.0+dfsg-3+b2_ppc64el.deb 1942KB Jun 19 2026 03:05:28 PM
rocqide_9.1.0+dfsg-3+b2_s390x.debrocqide_9.1.0+dfsg-3+b2_s390x.deb 1972KB Jun 18 2026 09:45:38 PM
rocqide_9.1.0+dfsg-3+b3_amd64.debrocqide_9.1.0+dfsg-3+b3_amd64.deb 1894KB Jun 19 2026 02:08:56 PM
rocqide_9.1.0+dfsg-3+b3_arm64.debrocqide_9.1.0+dfsg-3+b3_arm64.deb 2207KB Jun 19 2026 02:29:47 PM
rocqide_9.1.0+dfsg-3+b3_riscv64.debrocqide_9.1.0+dfsg-3+b3_riscv64.deb 1997KB Jun 26 2026 04:36:59 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：07/07/2026

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