Index of /pureos/pool/main/a/agda/


../
agda-bin_2.5.4.1-3+b1_amd64.deb                    26-Dec-2018 16:17      6M
agda-bin_2.5.4.1-3+b1_arm64.deb                    26-Dec-2018 16:18      6M
agda-bin_2.6.1-1+b2_amd64.deb                      09-Feb-2021 08:44      8M
agda-bin_2.6.1-1+b2_arm64.deb                      09-Feb-2021 08:44     10M
agda-mode_2.5.4.1-3_all.deb                        29-Nov-2018 04:03    115K
agda_2.5.4.1-3.debian.tar.xz                       29-Nov-2018 03:59    9928
agda_2.5.4.1-3.dsc                                 29-Nov-2018 03:59    3870
agda_2.5.4.1-3_all.deb                             29-Nov-2018 04:03    115K
agda_2.5.4.1.orig.tar.gz                           29-Nov-2018 03:59      2M
agda_2.6.1-1.debian.tar.xz                         09-Feb-2021 08:43     10K
agda_2.6.1-1.dsc                                   09-Feb-2021 08:43    4186
agda_2.6.1-1_all.deb                               09-Feb-2021 08:44     28K
agda_2.6.1.orig.tar.gz                             09-Feb-2021 08:43      3M
elpa-agda2-mode_2.5.4.1-3_all.deb                  29-Nov-2018 04:03    152K
elpa-agda2-mode_2.6.1-1_all.deb                    09-Feb-2021 08:44     65K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             26-Dec-2018 16:17     16M
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb             26-Dec-2018 16:18     19M
libghc-agda-dev_2.6.1-1+b2_amd64.deb               09-Feb-2021 08:44     36M
libghc-agda-dev_2.6.1-1+b2_arm64.deb               09-Feb-2021 08:44     43M
libghc-agda-doc_2.5.4.1-3_all.deb                  29-Nov-2018 04:03      4M
libghc-agda-doc_2.6.1-1_all.deb                    09-Feb-2021 08:44      6M