淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
c
>
coq
File
Size
Last Modified
..
-
May 12 2024 07:49:23 AM
coq-theories_8.4pl3dfsg-1_all.deb
31221KB
Jan 20 2014 07:58:43 AM
coq-theories_8.4pl4dfsg-3build2_all.deb
31481KB
Nov 04 2015 10:04:33 PM
coq-theories_8.6-5build1_amd64.deb
32404KB
Oct 28 2017 11:34:40 PM
coq-theories_8.6-5build1_i386.deb
31417KB
Oct 28 2017 11:34:52 PM
coq-theories_8.11.0-1_amd64.deb
32305KB
Mar 06 2020 04:38:19 PM
coqide_8.4pl3dfsg-1_amd64.deb
727KB
Jan 20 2014 07:58:45 AM
coqide_8.4pl3dfsg-1_i386.deb
662KB
Jan 20 2014 07:58:54 AM
coqide_8.4pl4dfsg-3build2_amd64.deb
731KB
Nov 04 2015 10:04:31 PM
coqide_8.4pl4dfsg-3build2_i386.deb
695KB
Nov 04 2015 09:39:44 PM
coqide_8.6-5build1_amd64.deb
1509KB
Oct 28 2017 11:34:40 PM
coqide_8.6-5build1_i386.deb
1356KB
Oct 28 2017 11:34:51 PM
coqide_8.11.0-1_amd64.deb
1718KB
Mar 06 2020 04:38:18 PM
coqide_8.15.0+dfsg-2_amd64.deb
2332KB
Feb 06 2022 07:51:53 AM
coqide_8.16.1+dfsg-1build2_amd64.deb
2282KB
Feb 16 2023 06:58:17 PM
coqide_8.17.0+dfsg-1build1_amd64.deb
2277KB
Jul 25 2023 01:37:49 AM
coqide_8.18.0+dfsg-1build2_amd64.deb
2294KB
Apr 01 2024 03:32:21 AM
coqide_8.19.1+dfsg-1_amd64.deb
2299KB
May 02 2024 07:53:26 PM
coq_8.4pl3dfsg-1.debian.tar.xz
15KB
Jan 20 2014 07:18:52 AM
coq_8.4pl3dfsg-1.dsc
2KB
Jan 20 2014 07:18:53 AM
coq_8.4pl3dfsg-1_amd64.deb
3945KB
Jan 20 2014 07:58:45 AM
coq_8.4pl3dfsg-1_i386.deb
3658KB
Jan 20 2014 07:58:55 AM
coq_8.4pl3dfsg.orig.tar.gz
3439KB
Jan 20 2014 07:18:53 AM
coq_8.4pl4dfsg-3build2.debian.tar.xz
16KB
Nov 04 2015 09:14:21 PM
coq_8.4pl4dfsg-3build2.dsc
2KB
Nov 04 2015 09:14:21 PM
coq_8.4pl4dfsg-3build2_amd64.deb
3900KB
Nov 04 2015 10:04:34 PM
coq_8.4pl4dfsg-3build2_i386.deb
3658KB
Nov 04 2015 09:39:44 PM
coq_8.4pl4dfsg.orig.tar.gz
3444KB
Jul 28 2014 07:13:17 AM
coq_8.6-5build1.debian.tar.xz
21KB
Oct 28 2017 10:39:28 PM
coq_8.6-5build1.dsc
2KB
Oct 28 2017 10:39:28 PM
coq_8.6-5build1_amd64.deb
17260KB
Oct 28 2017 11:34:41 PM
coq_8.6-5build1_i386.deb
16551KB
Oct 28 2017 11:34:51 PM
coq_8.6.orig.tar.gz
4891KB
Dec 29 2016 01:13:41 AM
coq_8.11.0-1.debian.tar.xz
31KB
Mar 06 2020 03:53:17 PM
coq_8.11.0-1.dsc
2KB
Mar 06 2020 03:53:16 PM
coq_8.11.0-1_amd64.deb
74789KB
Mar 06 2020 04:38:18 PM
coq_8.11.0.orig.tar.gz
5689KB
Mar 06 2020 03:53:17 PM
coq_8.15.0+dfsg-2.debian.tar.xz
39KB
Feb 06 2022 01:49:53 AM
coq_8.15.0+dfsg-2.dsc
3KB
Feb 06 2022 01:49:53 AM
coq_8.15.0+dfsg-2_amd64.deb
93158KB
Feb 06 2022 07:52:00 AM
coq_8.15.0+dfsg.orig.tar.xz
4560KB
Jan 18 2022 07:14:25 AM
coq_8.16.1+dfsg-1build2.debian.tar.xz
33KB
Feb 16 2023 06:06:43 PM
coq_8.16.1+dfsg-1build2.dsc
3KB
Feb 16 2023 06:06:43 PM
coq_8.16.1+dfsg-1build2_amd64.deb
106828KB
Feb 16 2023 06:58:17 PM
coq_8.16.1+dfsg.orig.tar.xz
4607KB
Nov 30 2022 01:24:12 AM
coq_8.17.0+dfsg-1build1.debian.tar.xz
32KB
Jul 25 2023 01:37:46 AM
coq_8.17.0+dfsg-1build1.dsc
3KB
Jul 25 2023 01:37:46 AM
coq_8.17.0+dfsg-1build1_amd64.deb
90876KB
Jul 25 2023 01:37:49 AM
coq_8.17.0+dfsg.orig.tar.xz
4661KB
Jun 13 2023 02:01:56 AM
coq_8.18.0+dfsg-1build2.debian.tar.xz
33KB
Apr 01 2024 02:36:47 AM
coq_8.18.0+dfsg-1build2.dsc
3KB
Apr 01 2024 02:36:47 AM
coq_8.18.0+dfsg-1build2_amd64.deb
93681KB
Apr 01 2024 03:32:22 AM
coq_8.18.0+dfsg.orig.tar.xz
4754KB
Dec 23 2023 03:46:56 AM
coq_8.19.1+dfsg-1.debian.tar.xz
32KB
May 02 2024 07:53:17 PM
coq_8.19.1+dfsg-1.dsc
3KB
May 02 2024 07:53:17 PM
coq_8.19.1+dfsg-1_amd64.deb
94519KB
May 02 2024 07:53:27 PM
coq_8.19.1+dfsg.orig.tar.bz2
5458KB
May 02 2024 07:53:17 PM
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd6...
43980KB
Feb 06 2022 07:51:58 AM
libcoq-core-ocaml-dev_8.16.1+dfsg-1build...
48350KB
Feb 16 2023 06:58:17 PM
libcoq-core-ocaml-dev_8.17.0+dfsg-1build...
48732KB
Jul 25 2023 01:37:48 AM
libcoq-core-ocaml-dev_8.18.0+dfsg-1build...
50203KB
Apr 01 2024 03:32:21 AM
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd6...
51038KB
May 02 2024 07:53:26 PM
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
26436KB
Feb 06 2022 07:51:56 AM
libcoq-core-ocaml_8.16.1+dfsg-1build2_am...
26281KB
Feb 16 2023 06:58:17 PM
libcoq-core-ocaml_8.17.0+dfsg-1build1_am...
26606KB
Jul 25 2023 01:37:48 AM
libcoq-core-ocaml_8.18.0+dfsg-1build2_am...
27038KB
Apr 01 2024 03:32:21 AM
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb
27254KB
May 02 2024 07:53:26 PM
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
3579KB
Jan 20 2014 07:58:43 AM
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
3564KB
Jan 20 2014 07:58:55 AM
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd6...
3584KB
Nov 04 2015 10:04:32 PM
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386...
3647KB
Nov 04 2015 09:39:45 PM
libcoq-ocaml-dev_8.6-5build1_amd64.deb
13491KB
Oct 28 2017 11:34:40 PM
libcoq-ocaml-dev_8.6-5build1_i386.deb
13473KB
Oct 28 2017 11:34:50 PM
libcoq-ocaml-dev_8.11.0-1_amd64.deb
15692KB
Mar 06 2020 04:38:21 PM
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
1548KB
Jan 20 2014 07:58:43 AM
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
1401KB
Jan 20 2014 07:58:54 AM
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
1469KB
Nov 04 2015 10:04:31 PM
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
1360KB
Nov 04 2015 09:39:44 PM
libcoq-ocaml_8.6-5build1_amd64.deb
3481KB
Oct 28 2017 11:34:39 PM
libcoq-ocaml_8.6-5build1_i386.deb
3315KB
Oct 28 2017 11:34:51 PM
libcoq-ocaml_8.11.0-1_amd64.deb
6176KB
Mar 06 2020 04:38:20 PM
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
24116KB
Feb 06 2022 07:51:58 AM
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb
23940KB
Feb 16 2023 06:58:17 PM
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
27772KB
Jul 25 2023 01:37:48 AM
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
25891KB
Apr 01 2024 03:32:20 AM
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb
26464KB
May 02 2024 07:53:25 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/12/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 12 2024 07:49:23 AM
coq-theories_8.4pl3dfsg-1_all.deb 31221KB Jan 20 2014 07:58:43 AM
coq_8.4pl3dfsg.orig.tar.gz 3439KB Jan 20 2014 07:18:53 AM