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-bin_2.6.2.2-1.1_amd64.deb                     14-Jun-2023 22:37      7M
agda-bin_2.6.4.3-1_amd64.deb                       30-Oct-2024 04:44      9M
agda-bin_2.6.4.3-1_arm64.deb                       30-Oct-2024 04:45      9M
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
agda_2.6.2.2-1.1.debian.tar.xz                     14-Jun-2023 14:48     10K
agda_2.6.2.2-1.1.dsc                               14-Jun-2023 14:48    4426
agda_2.6.2.2-1.1_all.deb                           14-Jun-2023 22:37     12K
agda_2.6.2.2.orig.tar.gz                           14-Jun-2023 14:48      2M
agda_2.6.4.3-1.debian.tar.xz                       30-Oct-2024 04:10     10K
agda_2.6.4.3-1.dsc                                 30-Oct-2024 04:10    5197
agda_2.6.4.3-1_all.deb                             30-Oct-2024 04:44     12K
agda_2.6.4.3.orig.tar.gz                           30-Oct-2024 04:10      2M
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
elpa-agda2-mode_2.6.2.2-1.1_all.deb                14-Jun-2023 22:37     50K
elpa-agda2-mode_2.6.4.3-1_all.deb                  30-Oct-2024 04:44     50K
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-dev_2.6.2.2-1.1_amd64.deb              14-Jun-2023 22:37     24M
libghc-agda-dev_2.6.4.3-1_amd64.deb                30-Oct-2024 04:44     22M
libghc-agda-dev_2.6.4.3-1_arm64.deb                30-Oct-2024 04:45     23M
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
libghc-agda-doc_2.6.2.2-1.1_all.deb                14-Jun-2023 22:37      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  30-Oct-2024 04:44      7M