淡江大學FTP伺服器

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

Folder.. - Dec 09 2025 03:00:10 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
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.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.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-3_amd64.debcoq_9.1.0+dfsg-3_amd64.deb 38701KB Nov 12 2025 01:29:44 AM
coq_9.1.0+dfsg-3_arm64.debcoq_9.1.0+dfsg-3_arm64.deb 42233KB Nov 12 2025 01:50:23 AM
coq_9.1.0+dfsg-3_armhf.debcoq_9.1.0+dfsg-3_armhf.deb 22639KB Nov 12 2025 01:50:20 AM
coq_9.1.0+dfsg-3_i386.debcoq_9.1.0+dfsg-3_i386.deb 22901KB Nov 12 2025 01:50:18 AM
coq_9.1.0+dfsg-3_ppc64el.debcoq_9.1.0+dfsg-3_ppc64el.deb 39358KB Nov 12 2025 01:50:25 AM
coq_9.1.0+dfsg-3_riscv64.debcoq_9.1.0+dfsg-3_riscv64.deb 39504KB Nov 12 2025 08:40:02 AM
coq_9.1.0+dfsg-3_s390x.debcoq_9.1.0+dfsg-3_s390x.deb 39347KB Nov 12 2025 07:44:21 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_9.1.0+dfsg-3_amd64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64... 69303KB Nov 12 2025 01:29:44 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_arm64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_arm64... 69177KB Nov 12 2025 01:50:23 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_armhf.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_armhf... 60388KB Nov 12 2025 01:50:20 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_i386.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_i386.deb 60386KB Nov 12 2025 01:50:18 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_ppc64el.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_ppc64... 70000KB Nov 12 2025 01:50:25 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_riscv64.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_riscv... 74196KB Nov 12 2025 08:40:03 AM
libcoq-core-ocaml-dev_9.1.0+dfsg-3_s390x.deblibcoq-core-ocaml-dev_9.1.0+dfsg-3_s390x... 68776KB Nov 12 2025 07:44:21 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_9.1.0+dfsg-3_amd64.deblibcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb 26199KB Nov 12 2025 01:29:44 AM
libcoq-core-ocaml_9.1.0+dfsg-3_arm64.deblibcoq-core-ocaml_9.1.0+dfsg-3_arm64.deb 26667KB Nov 12 2025 01:50:23 AM
libcoq-core-ocaml_9.1.0+dfsg-3_armhf.deblibcoq-core-ocaml_9.1.0+dfsg-3_armhf.deb 18982KB Nov 12 2025 01:50:20 AM
libcoq-core-ocaml_9.1.0+dfsg-3_i386.deblibcoq-core-ocaml_9.1.0+dfsg-3_i386.deb 18986KB Nov 12 2025 01:50:19 AM
libcoq-core-ocaml_9.1.0+dfsg-3_ppc64el.deblibcoq-core-ocaml_9.1.0+dfsg-3_ppc64el.deb 26246KB Nov 12 2025 01:50:25 AM
libcoq-core-ocaml_9.1.0+dfsg-3_riscv64.deblibcoq-core-ocaml_9.1.0+dfsg-3_riscv64.deb 26297KB Nov 12 2025 08:40:03 AM
libcoq-core-ocaml_9.1.0+dfsg-3_s390x.deblibcoq-core-ocaml_9.1.0+dfsg-3_s390x.deb 26261KB Nov 12 2025 07:44:21 AM
libcoq-core_9.1.0+dfsg-3_amd64.deblibcoq-core_9.1.0+dfsg-3_amd64.deb 1110KB Nov 12 2025 01:29:44 AM
libcoq-core_9.1.0+dfsg-3_arm64.deblibcoq-core_9.1.0+dfsg-3_arm64.deb 1111KB Nov 12 2025 01:50:23 AM
libcoq-core_9.1.0+dfsg-3_armhf.deblibcoq-core_9.1.0+dfsg-3_armhf.deb 1111KB Nov 12 2025 01:50:20 AM
libcoq-core_9.1.0+dfsg-3_i386.deblibcoq-core_9.1.0+dfsg-3_i386.deb 1112KB Nov 12 2025 01:50:19 AM
libcoq-core_9.1.0+dfsg-3_ppc64el.deblibcoq-core_9.1.0+dfsg-3_ppc64el.deb 1111KB Nov 12 2025 01:50:25 AM
libcoq-core_9.1.0+dfsg-3_riscv64.deblibcoq-core_9.1.0+dfsg-3_riscv64.deb 1111KB Nov 12 2025 08:40:03 AM
libcoq-core_9.1.0+dfsg-3_s390x.deblibcoq-core_9.1.0+dfsg-3_s390x.deb 1111KB Nov 12 2025 07:44:21 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
rocqide_9.1.0+dfsg-3_amd64.debrocqide_9.1.0+dfsg-3_amd64.deb 1890KB Nov 12 2025 01:29:44 AM
rocqide_9.1.0+dfsg-3_arm64.debrocqide_9.1.0+dfsg-3_arm64.deb 2207KB Nov 12 2025 01:50:23 AM
rocqide_9.1.0+dfsg-3_armhf.debrocqide_9.1.0+dfsg-3_armhf.deb 549KB Nov 12 2025 01:50:20 AM
rocqide_9.1.0+dfsg-3_i386.debrocqide_9.1.0+dfsg-3_i386.deb 620KB Nov 12 2025 01:50:19 AM
rocqide_9.1.0+dfsg-3_ppc64el.debrocqide_9.1.0+dfsg-3_ppc64el.deb 1930KB Nov 12 2025 01:50:25 AM
rocqide_9.1.0+dfsg-3_riscv64.debrocqide_9.1.0+dfsg-3_riscv64.deb 1951KB Nov 12 2025 08:40:03 AM
rocqide_9.1.0+dfsg-3_s390x.debrocqide_9.1.0+dfsg-3_s390x.deb 1950KB Nov 12 2025 07:44:21 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：12/15/2025

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