Welcome to NYCU CSIT Mirror site
Index of /pool/main/a/agda/
../ agda-bin_2.5.2-2+b1_amd64.deb 14-Jul-2017 14:28 5056190 agda-bin_2.5.2-2+b1_arm64.deb 14-Jul-2017 18:36 8127230 agda-bin_2.5.2-2+b1_i386.deb 14-Jul-2017 15:14 5093600 agda-bin_2.5.3-3+b1_amd64.deb 05-Nov-2017 03:55 5818604 agda-bin_2.5.3-3+b1_arm64.deb 05-Nov-2017 06:11 9233292 agda-bin_2.5.3-3+b1_i386.deb 05-Nov-2017 03:55 5821992 agda-bin_2.5.3-3+b2_amd64.deb 25-Nov-2017 04:59 5816024 agda-bin_2.5.3-3+b2_arm64.deb 25-Nov-2017 07:57 9226708 agda-bin_2.5.3-3+b2_i386.deb 25-Nov-2017 05:40 5822044 agda-bin_2.5.4.1-3+b1_amd64.deb 27-Dec-2018 00:04 5868440 agda-bin_2.5.4.1-3+b1_arm64.deb 27-Dec-2018 00:00 6780816 agda-bin_2.5.4.1-3+b1_i386.deb 27-Dec-2018 00:05 5946324 agda-bin_2.6.0.1-1+b1_amd64.deb 13-Sep-2019 14:58 6702460 agda-bin_2.6.0.1-1+b1_arm64.deb 13-Sep-2019 17:10 7917104 agda-bin_2.6.0.1-1+b1_i386.deb 13-Sep-2019 17:26 6769952 agda-bin_2.6.0.1-1+b2_amd64.deb 25-Jan-2020 17:06 6699900 agda-bin_2.6.0.1-1+b2_arm64.deb 25-Jan-2020 20:13 7918220 agda-bin_2.6.0.1-1+b2_i386.deb 25-Jan-2020 17:31 6767216 agda-bin_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 8910056 agda-bin_2.6.1-1+b2_arm64.deb 19-Aug-2020 21:57 10374216 agda-bin_2.6.1-1+b2_i386.deb 19-Aug-2020 22:58 8967940 agda-bin_2.6.1-1+b3_amd64.deb 03-Oct-2021 10:12 8911340 agda-bin_2.6.1-1+b3_arm64.deb 03-Oct-2021 14:29 10370112 agda-bin_2.6.1-1+b3_i386.deb 03-Oct-2021 10:28 8968812 agda_2.6.1-1.debian.tar.xz 29-Jul-2020 15:40 10060 agda_2.6.1-1.dsc 29-Jul-2020 15:40 4186 agda_2.6.1-1_all.deb 29-Jul-2020 16:40 28736 agda_2.6.1.orig.tar.gz 29-Jul-2020 15:40 2646289 elpa-agda2-mode_2.6.1-1_all.deb 29-Jul-2020 16:40 66816 libghc-agda-dev_2.5.2-2+b1_amd64.deb 14-Jul-2017 14:28 13328920 libghc-agda-dev_2.5.2-2+b1_arm64.deb 14-Jul-2017 18:36 19839258 libghc-agda-dev_2.5.2-2+b1_i386.deb 14-Jul-2017 15:14 13212100 libghc-agda-dev_2.5.3-3+b1_amd64.deb 05-Nov-2017 03:55 15998028 libghc-agda-dev_2.5.3-3+b1_arm64.deb 05-Nov-2017 06:11 23942348 libghc-agda-dev_2.5.3-3+b1_i386.deb 05-Nov-2017 03:55 15703368 libghc-agda-dev_2.5.3-3+b2_amd64.deb 25-Nov-2017 04:59 15974848 libghc-agda-dev_2.5.3-3+b2_arm64.deb 25-Nov-2017 07:57 23940320 libghc-agda-dev_2.5.3-3+b2_i386.deb 25-Nov-2017 05:40 15689108 libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 27-Dec-2018 00:05 17170668 libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 27-Dec-2018 00:00 19737352 libghc-agda-dev_2.5.4.1-3+b1_i386.deb 27-Dec-2018 00:06 16797896 libghc-agda-dev_2.6.0.1-1+b1_amd64.deb 13-Sep-2019 14:58 19833288 libghc-agda-dev_2.6.0.1-1+b1_arm64.deb 13-Sep-2019 17:10 23337620 libghc-agda-dev_2.6.0.1-1+b1_i386.deb 13-Sep-2019 17:26 19521108 libghc-agda-dev_2.6.0.1-1+b2_amd64.deb 25-Jan-2020 17:06 19809632 libghc-agda-dev_2.6.0.1-1+b2_arm64.deb 25-Jan-2020 20:13 23337892 libghc-agda-dev_2.6.0.1-1+b2_i386.deb 25-Jan-2020 17:31 19502704 libghc-agda-dev_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 37948252 libghc-agda-dev_2.6.1-1+b2_arm64.deb 19-Aug-2020 21:57 44818592 libghc-agda-dev_2.6.1-1+b2_i386.deb 19-Aug-2020 22:58 38089964 libghc-agda-dev_2.6.1-1+b3_amd64.deb 03-Oct-2021 10:12 37929588 libghc-agda-dev_2.6.1-1+b3_arm64.deb 03-Oct-2021 14:29 44808040 libghc-agda-dev_2.6.1-1+b3_i386.deb 03-Oct-2021 10:28 38088112 libghc-agda-doc_2.6.1-1_all.deb 29-Jul-2020 16:40 5799636