淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/a/agda/

Folder.. - Mar 20 2025 03:40:35 AM
agda-bin_2.3.2.2-1_amd64.debagda-bin_2.3.2.2-1_amd64.deb 5348KB Nov 07 2013 01:28:35 AM
agda-bin_2.3.2.2-1_i386.debagda-bin_2.3.2.2-1_i386.deb 4975KB Nov 07 2013 01:28:57 AM
agda-bin_2.4.2.5-1build1_amd64.debagda-bin_2.4.2.5-1build1_amd64.deb 4691KB Jan 13 2016 06:59:06 AM
agda-bin_2.4.2.5-1build1_i386.debagda-bin_2.4.2.5-1build1_i386.deb 4672KB Jan 13 2016 06:45:42 AM
agda-bin_2.5.3-3build1_amd64.debagda-bin_2.5.3-3build1_amd64.deb 5594KB Nov 26 2017 04:09:44 AM
agda-bin_2.5.3-3build1_i386.debagda-bin_2.5.3-3build1_i386.deb 5601KB Nov 26 2017 04:09:57 AM
agda-bin_2.6.0.1-1build4_amd64.debagda-bin_2.6.0.1-1build4_amd64.deb 6418KB Feb 08 2020 09:19:07 PM
agda-bin_2.6.1-1build2.1_amd64.debagda-bin_2.6.1-1build2.1_amd64.deb 9318KB Sep 16 2021 04:28:52 PM
agda-bin_2.6.3-1build1_amd64.debagda-bin_2.6.3-1build1_amd64.deb 10728KB Nov 11 2023 04:19:27 AM
agda-bin_2.6.3-2_amd64.debagda-bin_2.6.3-2_amd64.deb 10679KB Sep 07 2024 02:18:54 PM
agda-bin_2.6.4.3-1_amd64.debagda-bin_2.6.4.3-1_amd64.deb 10294KB Oct 26 2024 05:15:06 AM
agda-mode_2.3.2.2-1_all.debagda-mode_2.3.2.2-1_all.deb 47KB Nov 07 2013 01:28:38 AM
agda-mode_2.4.2.5-1build1_all.debagda-mode_2.4.2.5-1build1_all.deb 36KB Jan 13 2016 06:59:05 AM
agda-mode_2.5.3-3build1_all.debagda-mode_2.5.3-3build1_all.deb 4KB Nov 26 2017 04:09:45 AM
agda-mode_2.6.0.1-1build4_all.debagda-mode_2.6.0.1-1build4_all.deb 4KB Feb 08 2020 09:19:08 PM
agda_2.3.2.2-1.debian.tar.gzagda_2.3.2.2-1.debian.tar.gz 7KB Nov 07 2013 01:28:29 AM
agda_2.3.2.2-1.dscagda_2.3.2.2-1.dsc 3KB Nov 07 2013 01:28:29 AM
agda_2.3.2.2-1_all.debagda_2.3.2.2-1_all.deb 3KB Nov 07 2013 01:28:39 AM
agda_2.3.2.2.orig.tar.gzagda_2.3.2.2.orig.tar.gz 1987KB Nov 07 2013 01:28:29 AM
agda_2.4.2.5-1build1.debian.tar.xzagda_2.4.2.5-1build1.debian.tar.xz 8KB Jan 13 2016 06:30:27 AM
agda_2.4.2.5-1build1.dscagda_2.4.2.5-1build1.dsc 4KB Jan 13 2016 06:30:27 AM
agda_2.4.2.5-1build1_all.debagda_2.4.2.5-1build1_all.deb 3KB Jan 13 2016 06:59:07 AM
agda_2.4.2.5.orig.tar.gzagda_2.4.2.5.orig.tar.gz 1007KB Jan 05 2016 07:25:06 AM
agda_2.5.3-3build1.debian.tar.xzagda_2.5.3-3build1.debian.tar.xz 10KB Nov 26 2017 03:15:28 AM
agda_2.5.3-3build1.dscagda_2.5.3-3build1.dsc 4KB Nov 26 2017 03:15:28 AM
agda_2.5.3-3build1_all.debagda_2.5.3-3build1_all.deb 3KB Nov 26 2017 04:09:45 AM
agda_2.5.3.orig.tar.gzagda_2.5.3.orig.tar.gz 1173KB Nov 01 2017 09:05:07 PM
agda_2.6.0.1-1build4.debian.tar.xzagda_2.6.0.1-1build4.debian.tar.xz 10KB Feb 08 2020 07:38:18 PM
agda_2.6.0.1-1build4.dscagda_2.6.0.1-1build4.dsc 4KB Feb 08 2020 07:38:18 PM
agda_2.6.0.1-1build4_all.debagda_2.6.0.1-1build4_all.deb 4KB Feb 08 2020 09:19:07 PM
agda_2.6.0.1.orig.tar.gzagda_2.6.0.1.orig.tar.gz 2317KB Sep 01 2019 08:43:41 PM
agda_2.6.1-1build2.1.debian.tar.xzagda_2.6.1-1build2.1.debian.tar.xz 10KB Sep 16 2021 03:39:13 PM
agda_2.6.1-1build2.1.dscagda_2.6.1-1build2.1.dsc 4KB Sep 16 2021 03:39:13 PM
agda_2.6.1-1build2.1_all.debagda_2.6.1-1build2.1_all.deb 4KB Sep 16 2021 04:28:52 PM
agda_2.6.1.orig.tar.gzagda_2.6.1.orig.tar.gz 2584KB Jul 30 2020 07:19:10 AM
agda_2.6.3-1build1.debian.tar.xzagda_2.6.3-1build1.debian.tar.xz 11KB Nov 08 2023 05:36:47 PM
agda_2.6.3-1build1.dscagda_2.6.3-1build1.dsc 5KB Nov 08 2023 05:36:47 PM
agda_2.6.3-1build1_all.debagda_2.6.3-1build1_all.deb 4KB Nov 11 2023 04:19:27 AM
agda_2.6.3-2.debian.tar.xzagda_2.6.3-2.debian.tar.xz 11KB Sep 07 2024 02:18:52 PM
agda_2.6.3-2.dscagda_2.6.3-2.dsc 5KB Sep 07 2024 02:18:52 PM
agda_2.6.3-2_all.debagda_2.6.3-2_all.deb 4KB Sep 07 2024 02:18:54 PM
agda_2.6.3.orig.tar.gzagda_2.6.3.orig.tar.gz 1752KB Oct 26 2023 11:43:25 PM
agda_2.6.4.3-1.debian.tar.xzagda_2.6.4.3-1.debian.tar.xz 10KB Oct 26 2024 03:11:59 AM
agda_2.6.4.3-1.dscagda_2.6.4.3-1.dsc 5KB Oct 26 2024 03:11:59 AM
agda_2.6.4.3-1_all.debagda_2.6.4.3-1_all.deb 4KB Oct 26 2024 05:15:06 AM
agda_2.6.4.3.orig.tar.gzagda_2.6.4.3.orig.tar.gz 1826KB Oct 26 2024 03:11:59 AM
elpa-agda2-mode_2.5.3-3build1_all.debelpa-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.debelpa-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.debelpa-agda2-mode_2.6.1-1build2.1_all.deb 45KB Sep 16 2021 04:28:53 PM
elpa-agda2-mode_2.6.3-1build1_all.debelpa-agda2-mode_2.6.3-1build1_all.deb 45KB Nov 11 2023 04:19:27 AM
elpa-agda2-mode_2.6.3-2_all.debelpa-agda2-mode_2.6.3-2_all.deb 45KB Sep 07 2024 02:18:54 PM
elpa-agda2-mode_2.6.4.3-1_all.debelpa-agda2-mode_2.6.4.3-1_all.deb 45KB Oct 26 2024 05:15:06 AM
libghc-agda-dev_2.3.2.2-1_amd64.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-agda-dev_2.5.3-3build1_amd64.deb 15502KB Nov 26 2017 04:09:45 AM
libghc-agda-dev_2.5.3-3build1_i386.deblibghc-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.deblibghc-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.deblibghc-agda-dev_2.6.1-1build2.1_amd64.deb 39312KB Sep 16 2021 04:28:52 PM
libghc-agda-dev_2.6.3-1build1_amd64.deblibghc-agda-dev_2.6.3-1build1_amd64.deb 24888KB Nov 11 2023 04:19:27 AM
libghc-agda-dev_2.6.3-2_amd64.deblibghc-agda-dev_2.6.3-2_amd64.deb 24606KB Sep 07 2024 02:18:54 PM
libghc-agda-dev_2.6.4.3-1_amd64.deblibghc-agda-dev_2.6.4.3-1_amd64.deb 23599KB Oct 26 2024 05:15:06 AM
libghc-agda-doc_2.3.2.2-1_all.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-agda-doc_2.6.1-1build2.1_all.deb 5277KB Sep 16 2021 04:28:53 PM
libghc-agda-doc_2.6.3-1build1_all.deblibghc-agda-doc_2.6.3-1build1_all.deb 6141KB Nov 11 2023 04:19:27 AM
libghc-agda-doc_2.6.3-2_all.deblibghc-agda-doc_2.6.3-2_all.deb 6080KB Sep 07 2024 02:18:53 PM
libghc-agda-doc_2.6.4.3-1_all.deblibghc-agda-doc_2.6.4.3-1_all.deb 6534KB Oct 26 2024 05:15:06 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：04/01/2025

Copyright 2009 淡江大學資訊處 建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768