淡江大學FTP伺服器
/檔案列表/Linux/Kali/kali/pool/main/a/agda/
首頁
>
Linux
>
Kali
>
kali
>
pool
>
main
>
a
>
agda
File
Size
Last Modified
..
-
May 11 2026 08:06:59 PM
agda-bin_2.8.0-2+b1_amd64.deb
10044KB
Feb 28 2026 09:02:34 AM
agda-bin_2.8.0-2+b1_arm64.deb
10097KB
Feb 28 2026 09:17:58 AM
agda-bin_2.8.0-2+b1_i386.deb
9932KB
Feb 28 2026 09:02:30 AM
agda-bin_2.8.0-2+b2_amd64.deb
10044KB
Apr 03 2026 01:50:30 AM
agda-bin_2.8.0-2+b2_arm64.deb
10097KB
Apr 02 2026 04:01:51 PM
agda-bin_2.8.0-2+b2_i386.deb
9932KB
Apr 02 2026 04:52:57 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.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.8.0-2_all.deb
56KB
Feb 15 2026 11:07:40 PM
libghc-agda-dev_2.8.0-2+b1_amd64.deb
36804KB
Feb 28 2026 09:02:35 AM
libghc-agda-dev_2.8.0-2+b1_arm64.deb
39137KB
Feb 28 2026 09:17:58 AM
libghc-agda-dev_2.8.0-2+b1_i386.deb
37241KB
Feb 28 2026 09:02:30 AM
libghc-agda-dev_2.8.0-2+b2_amd64.deb
36800KB
Apr 03 2026 01:50:30 AM
libghc-agda-dev_2.8.0-2+b2_arm64.deb
39151KB
Apr 02 2026 04:01:51 PM
libghc-agda-dev_2.8.0-2+b2_i386.deb
37238KB
Apr 02 2026 04:52:57 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.8.0-2_all.deb
7408KB
Feb 15 2026 11:07:40 PM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/14/2026Copyright 2009 淡江大學
資訊處
建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768
.. - May 11 2026 08:06:59 PM
agda-bin_2.8.0-2+b1_amd64.deb 10044KB Feb 28 2026 09:02:34 AM
agda_2.8.0.orig.tar.gz 1906KB Feb 15 2026 01:37:01 AM