淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/c/coq/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
c
>
coq
File
Size
Last Modified
..
-
May 31 2024 02:00:12 AM
coq-theories_8.9.0-1_amd64.deb
29041KB
Feb 07 2019 02:49:32 AM
coq-theories_8.9.0-1_arm64.deb
19890KB
Feb 07 2019 04:26:11 AM
coq-theories_8.9.0-1_armhf.deb
19875KB
Feb 08 2019 05:15:09 AM
coq-theories_8.9.0-1_i386.deb
27749KB
Feb 07 2019 04:21:01 AM
coq-theories_8.12.0-3+b3_amd64.deb
35646KB
Nov 25 2020 03:28:14 PM
coq-theories_8.12.0-3+b3_arm64.deb
23365KB
Nov 25 2020 03:58:53 PM
coq-theories_8.12.0-3+b3_armel.deb
23353KB
Nov 26 2020 01:44:45 AM
coq-theories_8.12.0-3+b3_armhf.deb
23358KB
Nov 25 2020 03:43:49 PM
coq-theories_8.12.0-3+b3_i386.deb
34412KB
Nov 25 2020 03:18:08 PM
coq-theories_8.12.0-3+b3_mips64el.deb
23362KB
Nov 26 2020 12:41:38 AM
coq-theories_8.12.0-3+b3_mipsel.deb
23354KB
Nov 26 2020 08:43:20 AM
coq-theories_8.12.0-3+b3_ppc64el.deb
23360KB
Nov 25 2020 03:28:18 PM
coqide_8.12.0-3+b3_amd64.deb
1835KB
Nov 25 2020 03:28:15 PM
coqide_8.12.0-3+b3_arm64.deb
2120KB
Nov 25 2020 03:58:54 PM
coqide_8.12.0-3+b3_armel.deb
46KB
Nov 26 2020 01:44:45 AM
coqide_8.12.0-3+b3_armhf.deb
1696KB
Nov 25 2020 03:43:49 PM
coqide_8.12.0-3+b3_i386.deb
1683KB
Nov 25 2020 03:18:08 PM
coqide_8.12.0-3+b3_mips64el.deb
46KB
Nov 26 2020 12:41:38 AM
coqide_8.12.0-3+b3_mipsel.deb
46KB
Nov 26 2020 08:43:21 AM
coqide_8.12.0-3+b3_ppc64el.deb
1912KB
Nov 25 2020 03:28:18 PM
coqide_8.16.1+dfsg-1+b2_amd64.deb
1947KB
Feb 13 2023 09:14:24 AM
coqide_8.16.1+dfsg-1+b2_arm64.deb
2257KB
Feb 13 2023 09:55:59 AM
coqide_8.16.1+dfsg-1+b2_armhf.deb
1792KB
Feb 13 2023 09:55:40 AM
coqide_8.16.1+dfsg-1+b2_i386.deb
1764KB
Feb 13 2023 09:29:50 AM
coqide_8.16.1+dfsg-1+b2_ppc64el.deb
2028KB
Feb 13 2023 11:13:43 AM
coqide_8.16.1+dfsg-1+b2_s390x.deb
1934KB
Feb 13 2023 09:45:24 AM
coqide_8.18.0+dfsg-1_amd64.deb
1954KB
Dec 22 2023 01:16:05 AM
coqide_8.18.0+dfsg-1_arm64.deb
2264KB
Dec 21 2023 11:19:39 PM
coqide_8.18.0+dfsg-1_armhf.deb
1800KB
Dec 21 2023 11:24:43 PM
coqide_8.18.0+dfsg-1_i386.deb
1772KB
Dec 22 2023 02:21:48 AM
coqide_8.18.0+dfsg-1_ppc64el.deb
2021KB
Dec 22 2023 12:50:53 AM
coqide_8.18.0+dfsg-1_s390x.deb
1946KB
Dec 21 2023 11:14:35 PM
coqide_8.19.1+dfsg-1_amd64.deb
1957KB
Apr 26 2024 10:22:13 PM
coqide_8.19.1+dfsg-1_arm64.deb
2279KB
Apr 26 2024 10:22:16 PM
coqide_8.19.1+dfsg-1_armhf.deb
1806KB
Apr 26 2024 10:56:28 PM
coqide_8.19.1+dfsg-1_i386.deb
1778KB
Apr 26 2024 10:17:01 PM
coqide_8.19.1+dfsg-1_ppc64el.deb
2034KB
Apr 26 2024 10:22:20 PM
coqide_8.19.1+dfsg-1_riscv64.deb
1978KB
Apr 27 2024 02:50:11 AM
coqide_8.19.1+dfsg-1_s390x.deb
1967KB
Apr 26 2024 11:06:42 PM
coq_8.9.0-1.debian.tar.xz
27KB
Feb 07 2019 02:49:32 AM
coq_8.9.0-1.dsc
2KB
Feb 07 2019 02:49:32 AM
coq_8.9.0-1_amd64.deb
57608KB
Feb 07 2019 02:49:32 AM
coq_8.9.0-1_arm64.deb
61853KB
Feb 07 2019 04:26:11 AM
coq_8.9.0-1_armhf.deb
55983KB
Feb 08 2019 05:15:09 AM
coq_8.9.0-1_i386.deb
54879KB
Feb 07 2019 04:21:01 AM
coq_8.9.0.orig.tar.gz
5269KB
Feb 07 2019 02:49:32 AM
coq_8.12.0-3+b3_amd64.deb
88333KB
Nov 25 2020 03:28:15 PM
coq_8.12.0-3+b3_arm64.deb
93820KB
Nov 25 2020 03:58:54 PM
coq_8.12.0-3+b3_armel.deb
103391KB
Nov 26 2020 01:44:45 AM
coq_8.12.0-3+b3_armhf.deb
86284KB
Nov 25 2020 03:43:49 PM
coq_8.12.0-3+b3_i386.deb
85826KB
Nov 25 2020 03:18:08 PM
coq_8.12.0-3+b3_mips64el.deb
103385KB
Nov 26 2020 12:41:38 AM
coq_8.12.0-3+b3_mipsel.deb
103402KB
Nov 26 2020 08:43:21 AM
coq_8.12.0-3+b3_ppc64el.deb
89332KB
Nov 25 2020 03:28:18 PM
coq_8.12.0-3.debian.tar.xz
37KB
Sep 10 2020 02:38:30 PM
coq_8.12.0-3.dsc
2KB
Sep 10 2020 02:38:30 PM
coq_8.12.0.orig.tar.gz
5867KB
Aug 22 2020 05:26:38 PM
coq_8.16.1+dfsg-1+b2_amd64.deb
91028KB
Feb 13 2023 09:14:24 AM
coq_8.16.1+dfsg-1+b2_arm64.deb
99774KB
Feb 13 2023 09:55:59 AM
coq_8.16.1+dfsg-1+b2_armhf.deb
87761KB
Feb 13 2023 09:55:40 AM
coq_8.16.1+dfsg-1+b2_i386.deb
85466KB
Feb 13 2023 09:29:50 AM
coq_8.16.1+dfsg-1+b2_ppc64el.deb
91686KB
Feb 13 2023 11:13:43 AM
coq_8.16.1+dfsg-1+b2_s390x.deb
91128KB
Feb 13 2023 09:45:24 AM
coq_8.16.1+dfsg-1.debian.tar.xz
32KB
Nov 29 2022 04:35:18 PM
coq_8.16.1+dfsg-1.dsc
3KB
Nov 29 2022 04:35:18 PM
coq_8.16.1+dfsg.orig.tar.xz
4607KB
Nov 29 2022 04:35:18 PM
coq_8.18.0+dfsg-1.debian.tar.xz
32KB
Dec 21 2023 09:58:44 PM
coq_8.18.0+dfsg-1.dsc
3KB
Dec 21 2023 09:58:44 PM
coq_8.18.0+dfsg-1_amd64.deb
79804KB
Dec 22 2023 01:16:05 AM
coq_8.18.0+dfsg-1_arm64.deb
86046KB
Dec 21 2023 11:19:39 PM
coq_8.18.0+dfsg-1_armhf.deb
76578KB
Dec 21 2023 11:24:43 PM
coq_8.18.0+dfsg-1_i386.deb
75346KB
Dec 22 2023 02:21:47 AM
coq_8.18.0+dfsg-1_ppc64el.deb
79780KB
Dec 22 2023 12:50:53 AM
coq_8.18.0+dfsg-1_s390x.deb
79311KB
Dec 21 2023 11:14:35 PM
coq_8.18.0+dfsg.orig.tar.xz
4754KB
Dec 21 2023 09:58:44 PM
coq_8.19.1+dfsg-1.debian.tar.xz
32KB
Apr 26 2024 09:46:20 PM
coq_8.19.1+dfsg-1.dsc
3KB
Apr 26 2024 09:46:20 PM
coq_8.19.1+dfsg-1_amd64.deb
80225KB
Apr 26 2024 10:22:13 PM
coq_8.19.1+dfsg-1_arm64.deb
86809KB
Apr 26 2024 10:22:16 PM
coq_8.19.1+dfsg-1_armhf.deb
77025KB
Apr 26 2024 10:56:28 PM
coq_8.19.1+dfsg-1_i386.deb
75860KB
Apr 26 2024 10:17:01 PM
coq_8.19.1+dfsg-1_ppc64el.deb
80438KB
Apr 26 2024 10:22:20 PM
coq_8.19.1+dfsg-1_riscv64.deb
79834KB
Apr 27 2024 02:50:10 AM
coq_8.19.1+dfsg-1_s390x.deb
79695KB
Apr 26 2024 11:06:42 PM
coq_8.19.1+dfsg.orig.tar.bz2
5458KB
Apr 26 2024 09:46:20 PM
libcoq-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_a...
41821KB
Feb 13 2023 09:55:59 AM
libcoq-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_i...
41455KB
Feb 13 2023 09:29:50 AM
libcoq-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_s...
41256KB
Feb 13 2023 09:45:25 AM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd6...
43399KB
Dec 22 2023 01:16:05 AM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm6...
43473KB
Dec 21 2023 11:19:39 PM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armh...
43751KB
Dec 21 2023 11:24:43 PM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386...
43103KB
Dec 22 2023 02:21:48 AM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc6...
44204KB
Dec 22 2023 12:50:53 AM
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390...
42860KB
Dec 21 2023 11:14:36 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd6...
44154KB
Apr 26 2024 10:22:13 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm6...
44249KB
Apr 26 2024 10:22:16 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armh...
44535KB
Apr 26 2024 10:56:28 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386...
43888KB
Apr 26 2024 10:17:01 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc6...
45001KB
Apr 26 2024 10:22:21 PM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_risc...
48599KB
Apr 27 2024 02:50:11 AM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390...
43601KB
Apr 26 2024 11:06:42 PM
libcoq-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...
22552KB
Feb 13 2023 09:55:59 AM
libcoq-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.deb
21237KB
Feb 13 2023 09:29:50 AM
libcoq-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...
22090KB
Feb 13 2023 09:45:25 AM
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb
22669KB
Dec 22 2023 01:16:05 AM
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb
23217KB
Dec 21 2023 11:19:39 PM
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb
22405KB
Dec 21 2023 11:24:43 PM
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb
21870KB
Dec 22 2023 02:21:48 AM
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb
22741KB
Dec 22 2023 12:50:53 AM
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb
22702KB
Dec 21 2023 11:14:36 PM
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb
22873KB
Apr 26 2024 10:22:13 PM
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb
23423KB
Apr 26 2024 10:22:16 PM
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb
22613KB
Apr 26 2024 10:56:29 PM
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb
22080KB
Apr 26 2024 10:17:01 PM
libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb
22947KB
Apr 26 2024 10:22:21 PM
libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb
22880KB
Apr 27 2024 02:50:11 AM
libcoq-core-ocaml_8.19.1+dfsg-1_s390x.deb
22912KB
Apr 26 2024 11:06:42 PM
libcoq-ocaml-dev_8.9.0-1_amd64.deb
13383KB
Feb 07 2019 02:49:32 AM
libcoq-ocaml-dev_8.9.0-1_arm64.deb
13674KB
Feb 07 2019 04:26:12 AM
libcoq-ocaml-dev_8.9.0-1_armhf.deb
14055KB
Feb 08 2019 05:15:09 AM
libcoq-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.deb
18288KB
Nov 25 2020 03:28:15 PM
libcoq-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.deb
11019KB
Nov 26 2020 01:44:46 AM
libcoq-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.deb
18221KB
Nov 25 2020 03:18:08 PM
libcoq-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.deb
11018KB
Nov 26 2020 08:43:21 AM
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb
18953KB
Nov 25 2020 03:28:18 PM
libcoq-ocaml_8.9.0-1_amd64.deb
5335KB
Feb 07 2019 02:49:32 AM
libcoq-ocaml_8.9.0-1_arm64.deb
5668KB
Feb 07 2019 04:26:12 AM
libcoq-ocaml_8.9.0-1_armhf.deb
5258KB
Feb 08 2019 05:15:09 AM
libcoq-ocaml_8.9.0-1_i386.deb
5065KB
Feb 07 2019 04:21:01 AM
libcoq-ocaml_8.12.0-3+b3_amd64.deb
7576KB
Nov 25 2020 03:28:15 PM
libcoq-ocaml_8.12.0-3+b3_arm64.deb
7793KB
Nov 25 2020 03:58:54 PM
libcoq-ocaml_8.12.0-3+b3_armel.deb
5332KB
Nov 26 2020 01:44:46 AM
libcoq-ocaml_8.12.0-3+b3_armhf.deb
7562KB
Nov 25 2020 03:43:50 PM
libcoq-ocaml_8.12.0-3+b3_i386.deb
7398KB
Nov 25 2020 03:18:09 PM
libcoq-ocaml_8.12.0-3+b3_mips64el.deb
5332KB
Nov 26 2020 12:41:38 AM
libcoq-ocaml_8.12.0-3+b3_mipsel.deb
5332KB
Nov 26 2020 08:43:21 AM
libcoq-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.deb
21022KB
Feb 13 2023 09:14:24 AM
libcoq-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.deb
21023KB
Feb 13 2023 09:55:40 AM
libcoq-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.deb
21024KB
Feb 13 2023 11:13:44 AM
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb
21025KB
Feb 13 2023 09:45:25 AM
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb
22693KB
Dec 22 2023 01:16:05 AM
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb
22697KB
Dec 21 2023 11:19:40 PM
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb
22690KB
Dec 21 2023 11:24:43 PM
libcoq-stdlib_8.18.0+dfsg-1_i386.deb
22690KB
Dec 22 2023 02:21:48 AM
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb
22693KB
Dec 22 2023 12:50:53 AM
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb
22690KB
Dec 21 2023 11:14:36 PM
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb
23106KB
Apr 26 2024 10:22:13 PM
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb
23101KB
Apr 26 2024 10:22:16 PM
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb
23104KB
Apr 26 2024 10:56:29 PM
libcoq-stdlib_8.19.1+dfsg-1_i386.deb
23099KB
Apr 26 2024 10:17:01 PM
libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb
23097KB
Apr 26 2024 10:22:21 PM
libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb
23103KB
Apr 27 2024 02:50:11 AM
libcoq-stdlib_8.19.1+dfsg-1_s390x.deb
23104KB
Apr 26 2024 11:06:42 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/01/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 31 2024 02:00:12 AM
coq-theories_8.9.0-1_amd64.deb 29041KB Feb 07 2019 02:49:32 AM
coq_8.9.0.orig.tar.gz 5269KB Feb 07 2019 02:49:32 AM