淡江大學FTP伺服器
/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/a/agda/
首頁
>
Linux
>
Ubuntu
>
ubuntu
>
pool
>
universe
>
a
>
agda
File
Size
Last Modified
..
-
May 03 2024 10:34:14 AM
agda-bin_2.3.2.2-1_amd64.deb
5348KB
Nov 07 2013 01:28:35 AM
agda-bin_2.3.2.2-1_i386.deb
4975KB
Nov 07 2013 01:28:57 AM
agda-bin_2.4.2.5-1build1_amd64.deb
4691KB
Jan 13 2016 06:59:06 AM
agda-bin_2.4.2.5-1build1_i386.deb
4672KB
Jan 13 2016 06:45:42 AM
agda-bin_2.5.3-3build1_amd64.deb
5594KB
Nov 26 2017 04:09:44 AM
agda-bin_2.5.3-3build1_i386.deb
5601KB
Nov 26 2017 04:09:57 AM
agda-bin_2.6.0.1-1build4_amd64.deb
6418KB
Feb 08 2020 09:19:07 PM
agda-bin_2.6.1-1build2.1_amd64.deb
9318KB
Sep 16 2021 04:28:52 PM
agda-bin_2.6.2.2-1.1build1_amd64.deb
8150KB
Dec 12 2022 06:59:12 PM
agda-bin_2.6.3-1build1_amd64.deb
10728KB
Nov 11 2023 04:19:27 AM
agda-mode_2.3.2.2-1_all.deb
47KB
Nov 07 2013 01:28:38 AM
agda-mode_2.4.2.5-1build1_all.deb
36KB
Jan 13 2016 06:59:05 AM
agda-mode_2.5.3-3build1_all.deb
4KB
Nov 26 2017 04:09:45 AM
agda-mode_2.6.0.1-1build4_all.deb
4KB
Feb 08 2020 09:19:08 PM
agda_2.3.2.2-1.debian.tar.gz
7KB
Nov 07 2013 01:28:29 AM
agda_2.3.2.2-1.dsc
3KB
Nov 07 2013 01:28:29 AM
agda_2.3.2.2-1_all.deb
3KB
Nov 07 2013 01:28:39 AM
agda_2.3.2.2.orig.tar.gz
1987KB
Nov 07 2013 01:28:29 AM
agda_2.4.2.5-1build1.debian.tar.xz
8KB
Jan 13 2016 06:30:27 AM
agda_2.4.2.5-1build1.dsc
4KB
Jan 13 2016 06:30:27 AM
agda_2.4.2.5-1build1_all.deb
3KB
Jan 13 2016 06:59:07 AM
agda_2.4.2.5.orig.tar.gz
1007KB
Jan 05 2016 07:25:06 AM
agda_2.5.3-3build1.debian.tar.xz
10KB
Nov 26 2017 03:15:28 AM
agda_2.5.3-3build1.dsc
4KB
Nov 26 2017 03:15:28 AM
agda_2.5.3-3build1_all.deb
3KB
Nov 26 2017 04:09:45 AM
agda_2.5.3.orig.tar.gz
1173KB
Nov 01 2017 09:05:07 PM
agda_2.6.0.1-1build4.debian.tar.xz
10KB
Feb 08 2020 07:38:18 PM
agda_2.6.0.1-1build4.dsc
4KB
Feb 08 2020 07:38:18 PM
agda_2.6.0.1-1build4_all.deb
4KB
Feb 08 2020 09:19:07 PM
agda_2.6.0.1.orig.tar.gz
2317KB
Sep 01 2019 08:43:41 PM
agda_2.6.1-1build2.1.debian.tar.xz
10KB
Sep 16 2021 03:39:13 PM
agda_2.6.1-1build2.1.dsc
4KB
Sep 16 2021 03:39:13 PM
agda_2.6.1-1build2.1_all.deb
4KB
Sep 16 2021 04:28:52 PM
agda_2.6.1.orig.tar.gz
2584KB
Jul 30 2020 07:19:10 AM
agda_2.6.2.2-1.1build1.debian.tar.xz
10KB
Dec 12 2022 06:29:30 PM
agda_2.6.2.2-1.1build1.dsc
4KB
Dec 12 2022 06:29:30 PM
agda_2.6.2.2-1.1build1_all.deb
4KB
Dec 12 2022 06:59:12 PM
agda_2.6.2.2.orig.tar.gz
1651KB
Aug 07 2022 07:19:17 AM
agda_2.6.3-1build1.debian.tar.xz
11KB
Nov 08 2023 05:36:47 PM
agda_2.6.3-1build1.dsc
5KB
Nov 08 2023 05:36:47 PM
agda_2.6.3-1build1_all.deb
4KB
Nov 11 2023 04:19:27 AM
agda_2.6.3.orig.tar.gz
1752KB
Oct 26 2023 11:43:25 PM
elpa-agda2-mode_2.5.3-3build1_all.deb
40KB
Nov 26 2017 04:09:45 AM
elpa-agda2-mode_2.6.0.1-1build4_all.deb
40KB
Feb 08 2020 09:19:07 PM
elpa-agda2-mode_2.6.1-1build2.1_all.deb
45KB
Sep 16 2021 04:28:53 PM
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb
44KB
Dec 12 2022 06:59:12 PM
elpa-agda2-mode_2.6.3-1build1_all.deb
45KB
Nov 11 2023 04:19:27 AM
libghc-agda-dev_2.3.2.2-1_amd64.deb
13268KB
Nov 07 2013 01:28:35 AM
libghc-agda-dev_2.3.2.2-1_i386.deb
12604KB
Nov 07 2013 01:28:55 AM
libghc-agda-dev_2.4.2.5-1build1_amd64.deb
10420KB
Jan 13 2016 06:59:06 AM
libghc-agda-dev_2.4.2.5-1build1_i386.deb
10291KB
Jan 13 2016 06:45:42 AM
libghc-agda-dev_2.5.3-3build1_amd64.deb
15502KB
Nov 26 2017 04:09:45 AM
libghc-agda-dev_2.5.3-3build1_i386.deb
15222KB
Nov 26 2017 04:09:57 AM
libghc-agda-dev_2.6.0.1-1build4_amd64.deb
19221KB
Feb 08 2020 09:19:07 PM
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
39312KB
Sep 16 2021 04:28:52 PM
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
26100KB
Dec 12 2022 06:59:12 PM
libghc-agda-dev_2.6.3-1build1_amd64.deb
24888KB
Nov 11 2023 04:19:27 AM
libghc-agda-doc_2.3.2.2-1_all.deb
2135KB
Nov 07 2013 01:28:38 AM
libghc-agda-doc_2.4.2.5-1build1_all.deb
2133KB
Jan 13 2016 06:59:06 AM
libghc-agda-doc_2.5.3-3build1_all.deb
2688KB
Nov 26 2017 04:09:44 AM
libghc-agda-doc_2.6.0.1-1build4_all.deb
4108KB
Feb 08 2020 09:19:06 PM
libghc-agda-doc_2.6.1-1build2.1_all.deb
5277KB
Sep 16 2021 04:28:53 PM
libghc-agda-doc_2.6.2.2-1.1build1_all.deb
5851KB
Dec 12 2022 06:59:12 PM
libghc-agda-doc_2.6.3-1build1_all.deb
6141KB
Nov 11 2023 04:19:27 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/11/2024Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 03 2024 10:34:14 AM
agda-bin_2.3.2.2-1_amd64.deb 5348KB Nov 07 2013 01:28:35 AM
agda_2.3.2.2-1.debian.tar.gz 7KB Nov 07 2013 01:28:29 AM