淡江大學FTP伺服器
/檔案列表/Linux/Kali/kali/pool/main/a/agda/
首頁
>
Linux
>
Kali
>
kali
>
pool
>
main
>
a
>
agda
File
Size
Last Modified
..
-
Feb 28 2026 02:17:32 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.8.0-2_amd64.deb
10044KB
Feb 15 2026 11:07:45 PM
agda-bin_2.8.0-2_arm64.deb
10098KB
Feb 15 2026 11:07:41 PM
agda-bin_2.8.0-2_i386.deb
9932KB
Feb 15 2026 11:07:32 PM
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
agda_2.8.0-2.debian.tar.xz
10KB
Feb 15 2026 10:11:42 PM
agda_2.8.0-2.dsc
6KB
Feb 15 2026 10:11:42 PM
agda_2.8.0-2_all.deb
17KB
Feb 15 2026 11:07:40 PM
agda_2.8.0.orig.tar.gz
1906KB
Feb 15 2026 01:37:01 AM
elpa-agda2-mode_2.6.4.3-1_all.deb
50KB
Oct 08 2024 07:23:12 PM
elpa-agda2-mode_2.8.0-2_all.deb
56KB
Feb 15 2026 11:07:40 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.8.0-2_amd64.deb
36785KB
Feb 15 2026 11:07:45 PM
libghc-agda-dev_2.8.0-2_arm64.deb
39129KB
Feb 15 2026 11:07:41 PM
libghc-agda-dev_2.8.0-2_i386.deb
37276KB
Feb 15 2026 11:07:32 PM
libghc-agda-doc_2.6.4.3-1_all.deb
7314KB
Oct 08 2024 07:23:12 PM
libghc-agda-doc_2.8.0-2_all.deb
7408KB
Feb 15 2026 11:07:40 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：03/04/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - Feb 28 2026 02:17:32 PM
agda-bin_2.6.4.3-1+b2_amd64.deb 9616KB Feb 02 2025 06:54:53 AM
agda_2.6.4.3.orig.tar.gz 1826KB Oct 08 2024 06:41:50 PM