淡江大學FTP伺服器

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

Folder.. - May 04 2025 05:10:09 PM
coq-theories_8.9.0-1_amd64.debcoq-theories_8.9.0-1_amd64.deb 29041KB Feb 07 2019 02:49:32 AM
coq-theories_8.9.0-1_arm64.debcoq-theories_8.9.0-1_arm64.deb 19890KB Feb 07 2019 04:26:11 AM
coq-theories_8.9.0-1_armhf.debcoq-theories_8.9.0-1_armhf.deb 19875KB Feb 08 2019 05:15:09 AM
coq-theories_8.9.0-1_i386.debcoq-theories_8.9.0-1_i386.deb 27749KB Feb 07 2019 04:21:01 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_armel.debcoq-theories_8.12.0-3+b3_armel.deb 23353KB Nov 26 2020 01:44:45 AM
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
coq-theories_8.12.0-3+b3_mips64el.debcoq-theories_8.12.0-3+b3_mips64el.deb 23362KB Nov 26 2020 12:41:38 AM
coq-theories_8.12.0-3+b3_mipsel.debcoq-theories_8.12.0-3+b3_mipsel.deb 23354KB Nov 26 2020 08:43:20 AM
coq-theories_8.12.0-3+b3_ppc64el.debcoq-theories_8.12.0-3+b3_ppc64el.deb 23360KB Nov 25 2020 03:28:18 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_armel.debcoqide_8.12.0-3+b3_armel.deb 46KB Nov 26 2020 01:44:45 AM
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.12.0-3+b3_mips64el.debcoqide_8.12.0-3+b3_mips64el.deb 46KB Nov 26 2020 12:41:38 AM
coqide_8.12.0-3+b3_mipsel.debcoqide_8.12.0-3+b3_mipsel.deb 46KB Nov 26 2020 08:43:21 AM
coqide_8.12.0-3+b3_ppc64el.debcoqide_8.12.0-3+b3_ppc64el.deb 1912KB Nov 25 2020 03:28:18 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_amd64.debcoqide_8.20.1+dfsg-1_amd64.deb 1885KB Feb 18 2025 01:12:47 AM
coqide_8.20.1+dfsg-1_arm64.debcoqide_8.20.1+dfsg-1_arm64.deb 2196KB Feb 18 2025 01:33:40 AM
coqide_8.20.1+dfsg-1_ppc64el.debcoqide_8.20.1+dfsg-1_ppc64el.deb 1922KB Feb 18 2025 01:28:23 AM
coqide_8.20.1+dfsg-1_riscv64.debcoqide_8.20.1+dfsg-1_riscv64.deb 1947KB Feb 18 2025 07:39:48 AM
coqide_8.20.1+dfsg-1_s390x.debcoqide_8.20.1+dfsg-1_s390x.deb 1928KB Feb 18 2025 12:34:02 PM
coq_8.9.0-1.debian.tar.xzcoq_8.9.0-1.debian.tar.xz 27KB Feb 07 2019 02:49:32 AM
coq_8.9.0-1.dsccoq_8.9.0-1.dsc 2KB Feb 07 2019 02:49:32 AM
coq_8.9.0-1_amd64.debcoq_8.9.0-1_amd64.deb 57608KB Feb 07 2019 02:49:32 AM
coq_8.9.0-1_arm64.debcoq_8.9.0-1_arm64.deb 61853KB Feb 07 2019 04:26:11 AM
coq_8.9.0-1_armhf.debcoq_8.9.0-1_armhf.deb 55983KB Feb 08 2019 05:15:09 AM
coq_8.9.0-1_i386.debcoq_8.9.0-1_i386.deb 54879KB Feb 07 2019 04:21:01 AM
coq_8.9.0.orig.tar.gzcoq_8.9.0.orig.tar.gz 5269KB Feb 07 2019 02:49:32 AM
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_armel.debcoq_8.12.0-3+b3_armel.deb 103391KB Nov 26 2020 01:44:45 AM
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+b3_mips64el.debcoq_8.12.0-3+b3_mips64el.deb 103385KB Nov 26 2020 12:41:38 AM
coq_8.12.0-3+b3_mipsel.debcoq_8.12.0-3+b3_mipsel.deb 103402KB Nov 26 2020 08:43:21 AM
coq_8.12.0-3+b3_ppc64el.debcoq_8.12.0-3+b3_ppc64el.deb 89332KB Nov 25 2020 03:28:18 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-1_amd64.debcoq_8.20.1+dfsg-1_amd64.deb 68575KB Feb 18 2025 01:12:47 AM
coq_8.20.1+dfsg-1_arm64.debcoq_8.20.1+dfsg-1_arm64.deb 72693KB Feb 18 2025 01:33:40 AM
coq_8.20.1+dfsg-1_ppc64el.debcoq_8.20.1+dfsg-1_ppc64el.deb 69187KB Feb 18 2025 01:28:23 AM
coq_8.20.1+dfsg-1_riscv64.debcoq_8.20.1+dfsg-1_riscv64.deb 69527KB Feb 18 2025 07:39:48 AM
coq_8.20.1+dfsg-1_s390x.debcoq_8.20.1+dfsg-1_s390x.deb 69406KB Feb 18 2025 12:34:02 PM
coq_8.20.1+dfsg.orig.tar.xzcoq_8.20.1+dfsg.orig.tar.xz 4897KB Feb 18 2025 12:37:02 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_amd64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1_amd6... 67113KB Feb 18 2025 01:12:47 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1_arm6... 66979KB Feb 18 2025 01:33:40 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc6... 67724KB Feb 18 2025 01:28:23 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1_risc... 71834KB Feb 18 2025 07:39:48 AM
libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deblibcoq-core-ocaml-dev_8.20.1+dfsg-1_s390... 66625KB Feb 18 2025 12:34:03 PM
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_amd64.deblibcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 25343KB Feb 18 2025 01:12:47 AM
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deblibcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb 25779KB Feb 18 2025 01:33:40 AM
libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deblibcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb 25364KB Feb 18 2025 01:28:23 AM
libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deblibcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb 25410KB Feb 18 2025 07:39:48 AM
libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deblibcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb 25388KB Feb 18 2025 12:34:03 PM
libcoq-ocaml-dev_8.9.0-1_amd64.deblibcoq-ocaml-dev_8.9.0-1_amd64.deb 13383KB Feb 07 2019 02:49:32 AM
libcoq-ocaml-dev_8.9.0-1_arm64.deblibcoq-ocaml-dev_8.9.0-1_arm64.deb 13674KB Feb 07 2019 04:26:12 AM
libcoq-ocaml-dev_8.9.0-1_armhf.deblibcoq-ocaml-dev_8.9.0-1_armhf.deb 14055KB Feb 08 2019 05:15:09 AM
libcoq-ocaml-dev_8.9.0-1_i386.deblibcoq-ocaml-dev_8.9.0-1_i386.deb 13407KB Feb 07 2019 04:21:01 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_armel.deblibcoq-ocaml-dev_8.12.0-3+b3_armel.deb 11019KB Nov 26 2020 01:44:46 AM
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-dev_8.12.0-3+b3_mips64el.deblibcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb 11014KB Nov 26 2020 12:41:38 AM
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deblibcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 11018KB Nov 26 2020 08:43:21 AM
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deblibcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 18953KB Nov 25 2020 03:28:18 PM
libcoq-ocaml_8.9.0-1_amd64.deblibcoq-ocaml_8.9.0-1_amd64.deb 5335KB Feb 07 2019 02:49:32 AM
libcoq-ocaml_8.9.0-1_arm64.deblibcoq-ocaml_8.9.0-1_arm64.deb 5668KB Feb 07 2019 04:26:12 AM
libcoq-ocaml_8.9.0-1_armhf.deblibcoq-ocaml_8.9.0-1_armhf.deb 5258KB Feb 08 2019 05:15:09 AM
libcoq-ocaml_8.9.0-1_i386.deblibcoq-ocaml_8.9.0-1_i386.deb 5065KB Feb 07 2019 04:21:01 AM
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_armel.deblibcoq-ocaml_8.12.0-3+b3_armel.deb 5332KB Nov 26 2020 01:44:46 AM
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-ocaml_8.12.0-3+b3_mips64el.deblibcoq-ocaml_8.12.0-3+b3_mips64el.deb 5332KB Nov 26 2020 12:41:38 AM
libcoq-ocaml_8.12.0-3+b3_mipsel.deblibcoq-ocaml_8.12.0-3+b3_mipsel.deb 5332KB Nov 26 2020 08:43:21 AM
libcoq-ocaml_8.12.0-3+b3_ppc64el.deblibcoq-ocaml_8.12.0-3+b3_ppc64el.deb 7633KB Nov 25 2020 03:28:18 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_amd64.deblibcoq-stdlib_8.20.1+dfsg-1_amd64.deb 22975KB Feb 18 2025 01:12:47 AM
libcoq-stdlib_8.20.1+dfsg-1_arm64.deblibcoq-stdlib_8.20.1+dfsg-1_arm64.deb 22979KB Feb 18 2025 01:33:40 AM
libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deblibcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb 22979KB Feb 18 2025 01:28:23 AM
libcoq-stdlib_8.20.1+dfsg-1_riscv64.deblibcoq-stdlib_8.20.1+dfsg-1_riscv64.deb 22976KB Feb 18 2025 07:39:48 AM
libcoq-stdlib_8.20.1+dfsg-1_s390x.deblibcoq-stdlib_8.20.1+dfsg-1_s390x.deb 22978KB Feb 18 2025 12:34:03 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/20/2025

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