Index of /debian/pool/main/a/agda/
../ agda-bin_2.4.0.2-2+b1_amd64.deb 08-Sep-2014 01:27 4M agda-bin_2.4.0.2-2+b1_i386.deb 08-Sep-2014 14:57 4M agda-bin_2.5.1.1-3+b3_amd64.deb 11-Nov-2016 00:40 6M agda-bin_2.5.1.1-3+b3_arm64.deb 11-Nov-2016 01:10 11M agda-bin_2.5.1.1-3+b3_i386.deb 11-Nov-2016 00:00 6M agda-bin_2.5.1.1-3+b3_s390x.deb 11-Nov-2016 01:30 21M agda-bin_2.5.1.1-3_mips64el.deb 20-Nov-2016 07:28 9M agda-bin_2.5.4.1-3+b1_amd64.deb 04-Dec-2018 17:59 6M agda-bin_2.5.4.1-3+b1_arm64.deb 04-Dec-2018 20:27 6M agda-bin_2.5.4.1-3+b1_i386.deb 04-Dec-2018 17:43 6M agda-bin_2.5.4.1-3+b1_mips.deb 07-Dec-2018 02:59 9M agda-bin_2.5.4.1-3+b1_mips64el.deb 23-Dec-2018 20:59 11M agda-bin_2.5.4.1-3+b1_mipsel.deb 24-Dec-2018 19:25 10M agda-bin_2.5.4.1-3+b1_ppc64el.deb 04-Dec-2018 17:43 8M agda-bin_2.5.4.1-3+b1_s390x.deb 04-Dec-2018 17:54 13M agda-bin_2.6.1-1+b2_amd64.deb 20-Aug-2020 02:59 8M agda-bin_2.6.1-1+b2_arm64.deb 20-Aug-2020 04:57 10M agda-bin_2.6.1-1+b2_i386.deb 20-Aug-2020 05:58 9M agda-bin_2.6.1-1+b2_ppc64el.deb 20-Aug-2020 06:59 12M agda-bin_2.6.1-1+b3_arm64.deb 03-Oct-2021 21:29 10M agda-bin_2.6.1-1+b3_i386.deb 03-Oct-2021 17:28 9M agda-bin_2.6.1-1+b3_s390x.deb 20-Aug-2020 07:40 23M agda-bin_2.6.2.2-1.1_amd64.deb 07-Dec-2022 00:57 7M agda-bin_2.6.2.2-1.1_mips64el.deb 07-Dec-2022 05:12 15M agda-bin_2.6.2.2-1.1_ppc64el.deb 07-Dec-2022 01:28 10M agda-bin_2.6.2.2-1.1_s390x.deb 07-Dec-2022 01:38 19M agda-mode_2.4.0.2-2_all.deb 11-Aug-2014 18:28 86K agda-mode_2.5.1.1-3_all.deb 29-Oct-2016 07:56 78K agda-mode_2.5.4.1-3_all.deb 21-Oct-2018 04:57 115K agda_2.4.0.2-2.debian.tar.xz 11-Aug-2014 18:28 7344 agda_2.4.0.2-2.dsc 11-Aug-2014 18:28 3938 agda_2.4.0.2-2_all.deb 11-Aug-2014 18:28 55K agda_2.4.0.2.orig.tar.gz 05-Aug-2014 16:23 889K agda_2.5.1.1-3.debian.tar.xz 28-Oct-2016 07:24 9020 agda_2.5.1.1-3.dsc 28-Oct-2016 07:24 4210 agda_2.5.1.1-3_all.deb 29-Oct-2016 07:56 78K agda_2.5.1.1.orig.tar.gz 17-Oct-2016 03:43 1M agda_2.5.4.1-3.debian.tar.xz 21-Oct-2018 03:41 9928 agda_2.5.4.1-3.dsc 21-Oct-2018 03:41 3870 agda_2.5.4.1-3_all.deb 21-Oct-2018 04:57 115K agda_2.5.4.1.orig.tar.gz 30-Sep-2018 17:54 2M agda_2.6.1-1.debian.tar.xz 29-Jul-2020 22:40 10K agda_2.6.1-1.dsc 29-Jul-2020 22:40 4186 agda_2.6.1-1_all.deb 29-Jul-2020 23:40 28K agda_2.6.1.orig.tar.gz 29-Jul-2020 22:40 3M agda_2.6.2.2-1.1.debian.tar.xz 06-Dec-2022 23:40 10K agda_2.6.2.2-1.1.dsc 06-Dec-2022 23:40 4426 agda_2.6.2.2-1.1_all.deb 07-Dec-2022 00:41 12K agda_2.6.2.2.orig.tar.gz 07-Aug-2022 00:04 2M elpa-agda2-mode_2.5.1.1-3_all.deb 29-Oct-2016 07:56 113K elpa-agda2-mode_2.5.4.1-3_all.deb 21-Oct-2018 04:57 152K elpa-agda2-mode_2.6.1-1_all.deb 29-Jul-2020 23:40 65K elpa-agda2-mode_2.6.2.2-1.1_all.deb 07-Dec-2022 00:41 50K libghc-agda-dev_2.4.0.2-2+b1_amd64.deb 08-Sep-2014 01:27 9M libghc-agda-dev_2.4.0.2-2+b1_i386.deb 08-Sep-2014 14:57 9M libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 11-Nov-2016 00:40 12M libghc-agda-dev_2.5.1.1-3+b3_arm64.deb 11-Nov-2016 01:10 19M libghc-agda-dev_2.5.1.1-3+b3_i386.deb 11-Nov-2016 00:00 14M libghc-agda-dev_2.5.1.1-3+b3_s390x.deb 11-Nov-2016 01:30 25M libghc-agda-dev_2.5.1.1-3_mips64el.deb 20-Nov-2016 07:28 18M libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 04-Dec-2018 17:59 16M libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 04-Dec-2018 20:27 19M libghc-agda-dev_2.5.4.1-3+b1_i386.deb 04-Dec-2018 17:43 16M libghc-agda-dev_2.5.4.1-3+b1_mips.deb 07-Dec-2018 02:59 21M libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb 23-Dec-2018 20:59 23M libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb 24-Dec-2018 19:25 22M libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb 04-Dec-2018 17:43 23M libghc-agda-dev_2.5.4.1-3+b1_s390x.deb 04-Dec-2018 17:54 25M libghc-agda-dev_2.6.1-1+b2_amd64.deb 20-Aug-2020 02:59 36M libghc-agda-dev_2.6.1-1+b2_arm64.deb 20-Aug-2020 04:57 43M libghc-agda-dev_2.6.1-1+b2_i386.deb 20-Aug-2020 05:58 36M libghc-agda-dev_2.6.1-1+b2_ppc64el.deb 20-Aug-2020 06:59 53M libghc-agda-dev_2.6.1-1+b3_arm64.deb 03-Oct-2021 21:29 43M libghc-agda-dev_2.6.1-1+b3_i386.deb 03-Oct-2021 17:28 36M libghc-agda-dev_2.6.1-1+b3_s390x.deb 20-Aug-2020 07:40 55M libghc-agda-dev_2.6.2.2-1.1_amd64.deb 07-Dec-2022 00:57 24M libghc-agda-dev_2.6.2.2-1.1_mips64el.deb 07-Dec-2022 05:12 35M libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb 07-Dec-2022 01:28 35M libghc-agda-dev_2.6.2.2-1.1_s390x.deb 07-Dec-2022 01:38 38M libghc-agda-doc_2.4.0.2-2_all.deb 11-Aug-2014 18:28 2M libghc-agda-doc_2.5.1.1-3_all.deb 29-Oct-2016 07:56 3M libghc-agda-doc_2.5.4.1-3_all.deb 21-Oct-2018 04:57 4M libghc-agda-doc_2.6.1-1_all.deb 29-Jul-2020 23:40 6M libghc-agda-doc_2.6.2.2-1.1_all.deb 07-Dec-2022 00:41 6M