淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/a/agda/

Folder.. - May 30 2024 02:00:10 AM
agda-bin_2.5.4.1-3+b1_amd64.debagda-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.debagda-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.debagda-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.debagda-bin_2.6.1-1+b2_amd64.deb 8701KB Aug 20 2020 03:59:36 AM
agda-bin_2.6.1-1+b2_arm64.debagda-bin_2.6.1-1+b2_arm64.deb 10131KB Aug 20 2020 05:57:18 AM
agda-bin_2.6.1-1+b2_i386.debagda-bin_2.6.1-1+b2_i386.deb 8758KB Aug 20 2020 06:58:58 AM
agda-bin_2.6.1-1+b2_ppc64el.debagda-bin_2.6.1-1+b2_ppc64el.deb 12037KB Aug 20 2020 07:59:44 AM
agda-bin_2.6.1-1+b3_s390x.debagda-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.debagda-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.debagda-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.debagda-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.debagda-bin_2.6.2.2-1.1_s390x.deb 19734KB Dec 07 2022 02:38:05 AM
agda-bin_2.6.3-1+b1_i386.debagda-bin_2.6.3-1+b1_i386.deb 15011KB Apr 14 2024 03:29:18 AM
agda-bin_2.6.3-1+b1_mips64el.debagda-bin_2.6.3-1+b1_mips64el.deb 15696KB Apr 14 2024 04:45:59 PM
agda-bin_2.6.3-1+b1_s390x.debagda-bin_2.6.3-1+b1_s390x.deb 14435KB Apr 14 2024 02:22:04 AM
agda-bin_2.6.3-1+b2_arm64.debagda-bin_2.6.3-1+b2_arm64.deb 10067KB Apr 14 2024 04:10:46 AM
agda-bin_2.6.3-1+b2_riscv64.debagda-bin_2.6.3-1+b2_riscv64.deb 11208KB Apr 17 2024 04:03:53 PM
agda-bin_2.6.3-1+b3_amd64.debagda-bin_2.6.3-1+b3_amd64.deb 10011KB Apr 14 2024 01:30:38 AM
agda-bin_2.6.3-1+b3_ppc64el.debagda-bin_2.6.3-1+b3_ppc64el.deb 11164KB Apr 14 2024 01:51:08 AM
agda-mode_2.5.4.1-3_all.debagda-mode_2.5.4.1-3_all.deb 115KB Oct 21 2018 05:57:49 AM
agda_2.5.4.1-3.debian.tar.xzagda_2.5.4.1-3.debian.tar.xz 10KB Oct 21 2018 04:41:45 AM
agda_2.5.4.1-3.dscagda_2.5.4.1-3.dsc 4KB Oct 21 2018 04:41:45 AM
agda_2.5.4.1-3_all.debagda_2.5.4.1-3_all.deb 115KB Oct 21 2018 05:57:49 AM
agda_2.5.4.1.orig.tar.gzagda_2.5.4.1.orig.tar.gz 1943KB Sep 30 2018 06:54:26 PM
agda_2.6.1-1.debian.tar.xzagda_2.6.1-1.debian.tar.xz 10KB Jul 29 2020 11:40:18 PM
agda_2.6.1-1.dscagda_2.6.1-1.dsc 4KB Jul 29 2020 11:40:18 PM
agda_2.6.1-1_all.debagda_2.6.1-1_all.deb 28KB Jul 30 2020 12:40:53 AM
agda_2.6.1.orig.tar.gzagda_2.6.1.orig.tar.gz 2584KB Jul 29 2020 11:40:18 PM
agda_2.6.2.2-1.1.debian.tar.xzagda_2.6.2.2-1.1.debian.tar.xz 10KB Dec 07 2022 12:40:51 AM
agda_2.6.2.2-1.1.dscagda_2.6.2.2-1.1.dsc 4KB Dec 07 2022 12:40:51 AM
agda_2.6.2.2-1.1_all.debagda_2.6.2.2-1.1_all.deb 12KB Dec 07 2022 01:41:56 AM
agda_2.6.2.2.orig.tar.gzagda_2.6.2.2.orig.tar.gz 1651KB Aug 07 2022 01:04:45 AM
agda_2.6.3-1.debian.tar.xzagda_2.6.3-1.debian.tar.xz 11KB Oct 13 2023 11:34:30 PM
agda_2.6.3-1.dscagda_2.6.3-1.dsc 5KB Oct 13 2023 11:34:30 PM
agda_2.6.3-1_all.debagda_2.6.3-1_all.deb 20KB Oct 14 2023 12:30:22 AM
agda_2.6.3.orig.tar.gzagda_2.6.3.orig.tar.gz 1752KB Oct 13 2023 11:34:30 PM
elpa-agda2-mode_2.5.4.1-3_all.debelpa-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.debelpa-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.debelpa-agda2-mode_2.6.2.2-1.1_all.deb 50KB Dec 07 2022 01:41:56 AM
elpa-agda2-mode_2.6.3-1_all.debelpa-agda2-mode_2.6.3-1_all.deb 58KB Oct 14 2023 12:30:22 AM
libghc-agda-dev_2.5.4.1-3+b1_amd64.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-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.deblibghc-agda-dev_2.6.2.2-1.1_s390x.deb 38646KB Dec 07 2022 02:38:05 AM
libghc-agda-dev_2.6.3-1+b1_i386.deblibghc-agda-dev_2.6.3-1+b1_i386.deb 38400KB Apr 14 2024 03:29:19 AM
libghc-agda-dev_2.6.3-1+b1_mips64el.deblibghc-agda-dev_2.6.3-1+b1_mips64el.deb 34225KB Apr 14 2024 04:45:59 PM
libghc-agda-dev_2.6.3-1+b1_s390x.deblibghc-agda-dev_2.6.3-1+b1_s390x.deb 33377KB Apr 14 2024 02:22:04 AM
libghc-agda-dev_2.6.3-1+b2_arm64.deblibghc-agda-dev_2.6.3-1+b2_arm64.deb 24842KB Apr 14 2024 04:10:46 AM
libghc-agda-dev_2.6.3-1+b2_riscv64.deblibghc-agda-dev_2.6.3-1+b2_riscv64.deb 37924KB Apr 17 2024 04:03:53 PM
libghc-agda-dev_2.6.3-1+b3_amd64.deblibghc-agda-dev_2.6.3-1+b3_amd64.deb 23097KB Apr 14 2024 01:30:38 AM
libghc-agda-dev_2.6.3-1+b3_ppc64el.deblibghc-agda-dev_2.6.3-1+b3_ppc64el.deb 33394KB Apr 14 2024 01:51:08 AM
libghc-agda-doc_2.5.4.1-3_all.deblibghc-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.deblibghc-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.deblibghc-agda-doc_2.6.2.2-1.1_all.deb 6445KB Dec 07 2022 01:41:56 AM
libghc-agda-doc_2.6.3-1_all.deblibghc-agda-doc_2.6.3-1_all.deb 6795KB Oct 14 2023 12:30:22 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/01/2024

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