Index of /debian/pool/main/a/agda

      Name                    Last modified       Size  Description

[DIR] Parent Directory 06-Aug-2020 12:00 - [TXT] agda-bin_2.4.0.2-2+b..> 07-Sep-2014 20:27 3.7M [TXT] agda-bin_2.4.0.2-2+b..> 08-Sep-2014 09:57 3.6M [TXT] agda-bin_2.5.1.1-3+b..> 10-Nov-2016 18:40 5.9M [TXT] agda-bin_2.5.1.1-3+b..> 10-Nov-2016 19:10 10.8M [TXT] agda-bin_2.5.1.1-3+b..> 10-Nov-2016 18:00 6.0M [TXT] agda-bin_2.5.1.1-3+b..> 10-Nov-2016 19:30 21.2M [TXT] agda-bin_2.5.1.1-3_m..> 20-Nov-2016 01:28 9.5M [TXT] agda-bin_2.5.4.1-3+b..> 04-Dec-2018 11:59 5.6M [TXT] agda-bin_2.5.4.1-3+b..> 04-Dec-2018 14:27 6.5M [TXT] agda-bin_2.5.4.1-3+b..> 04-Dec-2018 11:43 5.7M [TXT] agda-bin_2.5.4.1-3+b..> 06-Dec-2018 20:59 9.3M [TXT] agda-bin_2.5.4.1-3+b..> 23-Dec-2018 14:59 10.7M [TXT] agda-bin_2.5.4.1-3+b..> 24-Dec-2018 13:25 9.6M [TXT] agda-bin_2.5.4.1-3+b..> 04-Dec-2018 11:43 7.6M [TXT] agda-bin_2.5.4.1-3+b..> 04-Dec-2018 11:54 12.6M [TXT] agda-bin_2.6.0.1-1+b..> 28-Jan-2020 20:25 12.7M [TXT] agda-bin_2.6.0.1-1+b..> 27-Jan-2020 12:11 11.3M [TXT] agda-bin_2.6.1-1+b1_..> 01-Aug-2020 10:57 22.8M [TXT] agda-bin_2.6.1-1_amd..> 29-Jul-2020 18:40 8.5M [TXT] agda-bin_2.6.1-1_arm..> 29-Jul-2020 23:28 9.9M [TXT] agda-bin_2.6.1-1_i38..> 29-Jul-2020 18:40 8.6M [TXT] agda-bin_2.6.1-1_ppc..> 29-Jul-2020 19:26 11.8M [TXT] agda-mode_2.4.0.2-2_..> 11-Aug-2014 13:28 86k [TXT] agda-mode_2.5.1.1-3_..> 29-Oct-2016 02:56 78k [TXT] agda-mode_2.5.4.1-3_..> 20-Oct-2018 23:57 115k [TXT] agda-mode_2.6.0.1-1_..> 31-Aug-2019 18:34 128k [   ] agda_2.4.0.2-2.debia..> 11-Aug-2014 13:28 7k [TXT] agda_2.4.0.2-2.dsc 11-Aug-2014 13:28 4k [TXT] agda_2.4.0.2-2_all.deb 11-Aug-2014 13:28 55k [   ] agda_2.4.0.2.orig.ta..> 05-Aug-2014 11:23 889k [   ] agda_2.5.1.1-3.debia..> 28-Oct-2016 02:24 9k [TXT] agda_2.5.1.1-3.dsc 28-Oct-2016 02:24 4k [TXT] agda_2.5.1.1-3_all.deb 29-Oct-2016 02:56 78k [   ] agda_2.5.1.1.orig.ta..> 16-Oct-2016 22:43 1.1M [   ] agda_2.5.4.1-3.debia..> 20-Oct-2018 22:41 10k [TXT] agda_2.5.4.1-3.dsc 20-Oct-2018 22:41 4k [TXT] agda_2.5.4.1-3_all.deb 20-Oct-2018 23:57 115k [   ] agda_2.5.4.1.orig.ta..> 30-Sep-2018 12:54 1.9M [   ] agda_2.6.0.1-1.debia..> 31-Aug-2019 16:18 10k [TXT] agda_2.6.0.1-1.dsc 31-Aug-2019 16:18 4k [TXT] agda_2.6.0.1-1_all.deb 31-Aug-2019 18:34 128k [   ] agda_2.6.0.1.orig.ta..> 31-Aug-2019 16:18 2.3M [   ] agda_2.6.1-1.debian...> 29-Jul-2020 17:40 10k [TXT] agda_2.6.1-1.dsc 29-Jul-2020 17:40 4k [TXT] agda_2.6.1-1_all.deb 29-Jul-2020 18:40 28k [   ] agda_2.6.1.orig.tar.gz 29-Jul-2020 17:40 2.5M [TXT] elpa-agda2-mode_2.5...> 29-Oct-2016 02:56 113k [TXT] elpa-agda2-mode_2.5...> 20-Oct-2018 23:57 152k [TXT] elpa-agda2-mode_2.6...> 31-Aug-2019 18:34 165k [TXT] elpa-agda2-mode_2.6...> 29-Jul-2020 18:40 65k [TXT] libghc-agda-dev_2.4...> 07-Sep-2014 20:27 9.3M [TXT] libghc-agda-dev_2.4...> 08-Sep-2014 09:57 9.2M [TXT] libghc-agda-dev_2.5...> 10-Nov-2016 18:40 12.3M [TXT] libghc-agda-dev_2.5...> 10-Nov-2016 19:10 18.8M [TXT] libghc-agda-dev_2.5...> 10-Nov-2016 18:00 13.7M [TXT] libghc-agda-dev_2.5...> 10-Nov-2016 19:30 25.0M [TXT] libghc-agda-dev_2.5...> 20-Nov-2016 01:28 18.2M [TXT] libghc-agda-dev_2.5...> 04-Dec-2018 11:59 16.4M [TXT] libghc-agda-dev_2.5...> 04-Dec-2018 14:27 18.8M [TXT] libghc-agda-dev_2.5...> 04-Dec-2018 11:43 16.0M [TXT] libghc-agda-dev_2.5...> 06-Dec-2018 20:59 21.3M [TXT] libghc-agda-dev_2.5...> 23-Dec-2018 14:59 23.4M [TXT] libghc-agda-dev_2.5...> 24-Dec-2018 13:25 22.0M [TXT] libghc-agda-dev_2.5...> 04-Dec-2018 11:43 23.4M [TXT] libghc-agda-dev_2.5...> 04-Dec-2018 11:54 24.8M [TXT] libghc-agda-dev_2.6...> 28-Jan-2020 20:25 27.7M [TXT] libghc-agda-dev_2.6...> 27-Jan-2020 12:11 25.9M [TXT] libghc-agda-dev_2.6...> 01-Aug-2020 10:57 55.3M [TXT] libghc-agda-dev_2.6...> 29-Jul-2020 18:40 36.2M [TXT] libghc-agda-dev_2.6...> 29-Jul-2020 23:28 42.8M [TXT] libghc-agda-dev_2.6...> 29-Jul-2020 18:40 36.3M [TXT] libghc-agda-dev_2.6...> 29-Jul-2020 19:26 53.4M [TXT] libghc-agda-doc_2.4...> 11-Aug-2014 13:28 1.9M [TXT] libghc-agda-doc_2.5...> 29-Oct-2016 02:56 2.5M [TXT] libghc-agda-doc_2.5...> 20-Oct-2018 23:57 3.6M [TXT] libghc-agda-doc_2.6...> 31-Aug-2019 18:34 4.1M [TXT] libghc-agda-doc_2.6...> 29-Jul-2020 18:40 5.5M