淡江大學FTP伺服器
/檔案列表/Linux/Debian/debian/pool/main/a/agda/
首頁
>
Linux
>
Debian
>
debian
>
pool
>
main
>
a
>
agda
File
Size
Last Modified
..
-
Apr 01 2025 03:00:10 AM
agda-bin_2.5.4.1-3+b1_amd64.deb
5731KB
Dec 04 2018 06:59:05 PM
agda-bin_2.5.4.1-3+b1_arm64.deb
6622KB
Dec 04 2018 09:27:43 PM
agda-bin_2.5.4.1-3+b1_i386.deb
5807KB
Dec 04 2018 06:43:51 PM
agda-bin_2.6.1-1+b2_amd64.deb
8701KB
Aug 20 2020 03:59:36 AM
agda-bin_2.6.1-1+b2_arm64.deb
10131KB
Aug 20 2020 05:57:18 AM
agda-bin_2.6.1-1+b2_i386.deb
8758KB
Aug 20 2020 06:58:58 AM
agda-bin_2.6.1-1+b2_ppc64el.deb
12037KB
Aug 20 2020 07:59:44 AM
agda-bin_2.6.1-1+b3_s390x.deb
23274KB
Aug 20 2020 08:40:11 AM
agda-bin_2.6.2.2-1.1_amd64.deb
7570KB
Dec 07 2022 01:57:33 AM
agda-bin_2.6.2.2-1.1_mips64el.deb
14934KB
Dec 07 2022 06:12:35 AM
agda-bin_2.6.2.2-1.1_ppc64el.deb
10358KB
Dec 07 2022 02:28:02 AM
agda-bin_2.6.2.2-1.1_s390x.deb
19734KB
Dec 07 2022 02:38:05 AM
agda-bin_2.6.4.3-1+b1_armel.deb
13651KB
Oct 17 2024 10:06:51 AM
agda-bin_2.6.4.3-1+b1_mips64el.deb
14348KB
Oct 18 2024 07:20:16 PM
agda-bin_2.6.4.3-1+b2_amd64.deb
9616KB
Feb 02 2025 06:54:53 AM
agda-bin_2.6.4.3-1+b2_arm64.deb
9637KB
Feb 14 2025 08:31:07 PM
agda-bin_2.6.4.3-1+b2_i386.deb
14411KB
Feb 14 2025 06:53:31 PM
agda-bin_2.6.4.3-1_ppc64el.deb
9239KB
Oct 08 2024 07:44:47 PM
agda-bin_2.6.4.3-1_riscv64.deb
12787KB
Oct 09 2024 08:41:36 AM
agda-bin_2.6.4.3-1_s390x.deb
19310KB
Oct 08 2024 07:44:37 PM
agda-mode_2.5.4.1-3_all.deb
115KB
Oct 21 2018 05:57:49 AM
agda_2.5.4.1-3.debian.tar.xz
10KB
Oct 21 2018 04:41:45 AM
agda_2.5.4.1-3.dsc
4KB
Oct 21 2018 04:41:45 AM
agda_2.5.4.1-3_all.deb
115KB
Oct 21 2018 05:57:49 AM
agda_2.5.4.1.orig.tar.gz
1943KB
Sep 30 2018 06:54:26 PM
agda_2.6.1-1.debian.tar.xz
10KB
Jul 29 2020 11:40:18 PM
agda_2.6.1-1.dsc
4KB
Jul 29 2020 11:40:18 PM
agda_2.6.1-1_all.deb
28KB
Jul 30 2020 12:40:53 AM
agda_2.6.1.orig.tar.gz
2584KB
Jul 29 2020 11:40:18 PM
agda_2.6.2.2-1.1.debian.tar.xz
10KB
Dec 07 2022 12:40:51 AM
agda_2.6.2.2-1.1.dsc
4KB
Dec 07 2022 12:40:51 AM
agda_2.6.2.2-1.1_all.deb
12KB
Dec 07 2022 01:41:56 AM
agda_2.6.2.2.orig.tar.gz
1651KB
Aug 07 2022 01:04:45 AM
agda_2.6.4.3-1.debian.tar.xz
10KB
Oct 08 2024 06:41:50 PM
agda_2.6.4.3-1.dsc
5KB
Oct 08 2024 06:41:50 PM
agda_2.6.4.3-1_all.deb
12KB
Oct 08 2024 07:23:12 PM
agda_2.6.4.3.orig.tar.gz
1826KB
Oct 08 2024 06:41:50 PM
elpa-agda2-mode_2.5.4.1-3_all.deb
152KB
Oct 21 2018 05:57:49 AM
elpa-agda2-mode_2.6.1-1_all.deb
65KB
Jul 30 2020 12:40:53 AM
elpa-agda2-mode_2.6.2.2-1.1_all.deb
50KB
Dec 07 2022 01:41:56 AM
elpa-agda2-mode_2.6.4.3-1_all.deb
50KB
Oct 08 2024 07:23:12 PM
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
16768KB
Dec 04 2018 06:59:05 PM
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb
19275KB
Dec 04 2018 09:27:43 PM
libghc-agda-dev_2.5.4.1-3+b1_i386.deb
16404KB
Dec 04 2018 06:43:52 PM
libghc-agda-dev_2.6.1-1+b2_amd64.deb
37059KB
Aug 20 2020 03:59:36 AM
libghc-agda-dev_2.6.1-1+b2_arm64.deb
43768KB
Aug 20 2020 05:57:18 AM
libghc-agda-dev_2.6.1-1+b2_i386.deb
37197KB
Aug 20 2020 06:58:58 AM
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb
54556KB
Aug 20 2020 07:59:45 AM
libghc-agda-dev_2.6.1-1+b3_s390x.deb
56632KB
Aug 20 2020 08:40:11 AM
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
24271KB
Dec 07 2022 01:57:33 AM
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
35623KB
Dec 07 2022 06:12:36 AM
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
35361KB
Dec 07 2022 02:28:02 AM
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
38646KB
Dec 07 2022 02:38:05 AM
libghc-agda-dev_2.6.4.3-1+b1_armel.deb
30470KB
Oct 17 2024 10:06:51 AM
libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb
33068KB
Oct 18 2024 07:20:16 PM
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
22286KB
Feb 02 2025 06:54:53 AM
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
23896KB
Feb 14 2025 08:31:07 PM
libghc-agda-dev_2.6.4.3-1+b2_i386.deb
36467KB
Feb 14 2025 06:53:31 PM
libghc-agda-dev_2.6.4.3-1_ppc64el.deb
29774KB
Oct 08 2024 07:44:47 PM
libghc-agda-dev_2.6.4.3-1_riscv64.deb
40684KB
Oct 09 2024 08:41:36 AM
libghc-agda-dev_2.6.4.3-1_s390x.deb
39535KB
Oct 08 2024 07:44:37 PM
libghc-agda-doc_2.5.4.1-3_all.deb
3702KB
Oct 21 2018 05:57:49 AM
libghc-agda-doc_2.6.1-1_all.deb
5664KB
Jul 30 2020 12:40:53 AM
libghc-agda-doc_2.6.2.2-1.1_all.deb
6445KB
Dec 07 2022 01:41:56 AM
libghc-agda-doc_2.6.4.3-1_all.deb
7314KB
Oct 08 2024 07:23:12 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/03/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Apr 01 2025 03:00:10 AM
agda-bin_2.5.4.1-3+b1_amd64.deb 5731KB Dec 04 2018 06:59:05 PM
agda_2.5.4.1.orig.tar.gz 1943KB Sep 30 2018 06:54:26 PM