淡江大學FTP伺服器

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

Folder.. - May 03 2024 10:34:14 AM
agda-stdlib-doc_0.7-2_all.debagda-stdlib-doc_0.7-2_all.deb 1707KB May 28 2013 07:33:48 AM
agda-stdlib-doc_0.11-1_all.debagda-stdlib-doc_0.11-1_all.deb 1235KB Jan 05 2016 09:20:13 AM
agda-stdlib-doc_0.14-1_all.debagda-stdlib-doc_0.14-1_all.deb 1044KB Nov 27 2017 02:04:45 AM
agda-stdlib-doc_1.1-1_all.debagda-stdlib-doc_1.1-1_all.deb 1862KB Sep 06 2019 11:48:27 PM
agda-stdlib-doc_1.3-2_all.debagda-stdlib-doc_1.3-2_all.deb 2390KB Aug 02 2020 01:43:41 PM
agda-stdlib-doc_1.7.1-1_all.debagda-stdlib-doc_1.7.1-1_all.deb 2910KB Aug 27 2022 03:09:39 AM
agda-stdlib-doc_1.7.3-1_all.debagda-stdlib-doc_1.7.3-1_all.deb 2911KB Nov 11 2023 07:50:08 AM
agda-stdlib_0.7-2.debian.tar.gzagda-stdlib_0.7-2.debian.tar.gz 4KB May 28 2013 07:33:44 AM
agda-stdlib_0.7-2.dscagda-stdlib_0.7-2.dsc 2KB May 28 2013 07:33:44 AM
agda-stdlib_0.7-2_all.debagda-stdlib_0.7-2_all.deb 17718KB May 28 2013 07:33:50 AM
agda-stdlib_0.7.orig.tar.gzagda-stdlib_0.7.orig.tar.gz 221KB Apr 11 2013 02:03:22 AM
agda-stdlib_0.11-1.debian.tar.xzagda-stdlib_0.11-1.debian.tar.xz 4KB Jan 05 2016 07:25:05 AM
agda-stdlib_0.11-1.dscagda-stdlib_0.11-1.dsc 2KB Jan 05 2016 07:25:05 AM
agda-stdlib_0.11-1_all.debagda-stdlib_0.11-1_all.deb 17092KB Jan 05 2016 09:20:12 AM
agda-stdlib_0.11.orig.tar.gzagda-stdlib_0.11.orig.tar.gz 247KB Jan 05 2016 07:25:05 AM
agda-stdlib_0.14-1.debian.tar.xzagda-stdlib_0.14-1.debian.tar.xz 5KB Nov 27 2017 01:08:38 AM
agda-stdlib_0.14-1.dscagda-stdlib_0.14-1.dsc 2KB Nov 27 2017 01:08:38 AM
agda-stdlib_0.14-1_all.debagda-stdlib_0.14-1_all.deb 17734KB Nov 27 2017 02:04:46 AM
agda-stdlib_0.14.orig.tar.gzagda-stdlib_0.14.orig.tar.gz 279KB Nov 26 2017 07:14:14 PM
agda-stdlib_1.1-1.debian.tar.xzagda-stdlib_1.1-1.debian.tar.xz 5KB Sep 06 2019 11:48:22 PM
agda-stdlib_1.1-1.dscagda-stdlib_1.1-1.dsc 2KB Sep 06 2019 11:48:22 PM
agda-stdlib_1.1-1_all.debagda-stdlib_1.1-1_all.deb 46278KB Sep 06 2019 11:48:27 PM
agda-stdlib_1.1.orig.tar.gzagda-stdlib_1.1.orig.tar.gz 557KB Sep 04 2019 09:38:22 PM
agda-stdlib_1.3-2.debian.tar.xzagda-stdlib_1.3-2.debian.tar.xz 6KB Aug 02 2020 01:13:38 PM
agda-stdlib_1.3-2.dscagda-stdlib_1.3-2.dsc 2KB Aug 02 2020 01:13:38 PM
agda-stdlib_1.3-2_all.debagda-stdlib_1.3-2_all.deb 71508KB Aug 02 2020 01:43:42 PM
agda-stdlib_1.3.orig.tar.gzagda-stdlib_1.3.orig.tar.gz 734KB Aug 02 2020 07:33:38 AM
agda-stdlib_1.7.1-1.debian.tar.xzagda-stdlib_1.7.1-1.debian.tar.xz 6KB Aug 07 2022 07:19:17 AM
agda-stdlib_1.7.1-1.dscagda-stdlib_1.7.1-1.dsc 2KB Aug 07 2022 07:19:17 AM
agda-stdlib_1.7.1-1_all.debagda-stdlib_1.7.1-1_all.deb 100313KB Aug 27 2022 03:09:39 AM
agda-stdlib_1.7.1.orig.tar.gzagda-stdlib_1.7.1.orig.tar.gz 918KB Aug 07 2022 07:19:17 AM
agda-stdlib_1.7.3-1.debian.tar.xzagda-stdlib_1.7.3-1.debian.tar.xz 6KB Nov 05 2023 02:15:53 AM
agda-stdlib_1.7.3-1.dscagda-stdlib_1.7.3-1.dsc 2KB Nov 05 2023 02:15:53 AM
agda-stdlib_1.7.3-1_all.debagda-stdlib_1.7.3-1_all.deb 117716KB Nov 11 2023 07:50:08 AM
agda-stdlib_1.7.3.orig.tar.gzagda-stdlib_1.7.3.orig.tar.gz 920KB Nov 05 2023 02:15:53 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：05/10/2024

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