淡江大學FTP伺服器
/檔案列表/Linux/Kali/kali/pool/main/a/agda/
首頁
>
Linux
>
Kali
>
kali
>
pool
>
main
>
a
>
agda
File
Size
Last Modified
..
-
May 29 2025 10:36:08 PM
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+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_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.6.4.3-1_all.deb
50KB
Oct 08 2024 07:23:12 PM
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+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-doc_2.6.4.3-1_all.deb
7314KB
Oct 08 2024 07:23:12 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：07/08/2025Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 29 2025 10:36:08 PM
agda-bin_2.6.4.3-1+b1_armel.deb 13651KB Oct 17 2024 10:06:51 AM
agda_2.6.4.3.orig.tar.gz 1826KB Oct 08 2024 06:41:50 PM