Index of /Linux/kali/pool/main/a/agda/

../
agda-bin_2.6.2.2-1.1_amd64.deb                     07-Dec-2022 02:57      7M
agda-bin_2.6.3-1+b1_arm64.deb                      23-Oct-2023 06:29     10M
agda-bin_2.6.3-1+b1_i386.deb                       14-Apr-2024 04:29     15M
agda-bin_2.6.3-1+b2_amd64.deb                      31-Oct-2023 01:22     10M
agda-bin_2.6.3-1+b2_arm64.deb                      14-Apr-2024 05:10     10M
agda-bin_2.6.3-1+b3_amd64.deb                      14-Apr-2024 02:30     10M
agda-bin_2.6.3-1_i386.deb                          31-Oct-2023 02:12     15M
agda-bin_2.6.4.3-1+b1_armel.deb                    17-Oct-2024 11:06     13M
agda-bin_2.6.4.3-1+b1_i386.deb                     17-Oct-2024 08:33     14M
agda-bin_2.6.4.3-1_amd64.deb                       08-Oct-2024 20:17      9M
agda-bin_2.6.4.3-1_arm64.deb                       08-Oct-2024 22:27      9M
agda_2.6.2.2-1.1.debian.tar.xz                     07-Dec-2022 01:40     10K
agda_2.6.2.2-1.1.dsc                               07-Dec-2022 01:40    4426
agda_2.6.2.2-1.1_all.deb                           07-Dec-2022 02:41     12K
agda_2.6.2.2.orig.tar.gz                           07-Aug-2022 02:04      2M
agda_2.6.3-1.debian.tar.xz                         14-Oct-2023 00:34     11K
agda_2.6.3-1.dsc                                   14-Oct-2023 00:34    4944
agda_2.6.3-1_all.deb                               14-Oct-2023 01:30     20K
agda_2.6.3.orig.tar.gz                             14-Oct-2023 00:34      2M
agda_2.6.4.3-1.debian.tar.xz                       08-Oct-2024 19:41     10K
agda_2.6.4.3-1.dsc                                 08-Oct-2024 19:41    5197
agda_2.6.4.3-1_all.deb                             08-Oct-2024 20:23     12K
agda_2.6.4.3.orig.tar.gz                           08-Oct-2024 19:41      2M
elpa-agda2-mode_2.6.2.2-1.1_all.deb                07-Dec-2022 02:41     50K
elpa-agda2-mode_2.6.3-1_all.deb                    14-Oct-2023 01:30     58K
elpa-agda2-mode_2.6.4.3-1_all.deb                  08-Oct-2024 20:23     50K
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              07-Dec-2022 02:57     24M
libghc-agda-dev_2.6.3-1+b1_arm64.deb               23-Oct-2023 06:29     24M
libghc-agda-dev_2.6.3-1+b1_i386.deb                14-Apr-2024 04:29     37M
libghc-agda-dev_2.6.3-1+b2_amd64.deb               31-Oct-2023 01:22     23M
libghc-agda-dev_2.6.3-1+b2_arm64.deb               14-Apr-2024 05:10     24M
libghc-agda-dev_2.6.3-1+b3_amd64.deb               14-Apr-2024 02:30     23M
libghc-agda-dev_2.6.3-1_i386.deb                   31-Oct-2023 02:12     37M
libghc-agda-dev_2.6.4.3-1+b1_armel.deb             17-Oct-2024 11:06     30M
libghc-agda-dev_2.6.4.3-1+b1_i386.deb              17-Oct-2024 08:33     36M
libghc-agda-dev_2.6.4.3-1_amd64.deb                08-Oct-2024 20:17     22M
libghc-agda-dev_2.6.4.3-1_arm64.deb                08-Oct-2024 22:27     23M
libghc-agda-doc_2.6.2.2-1.1_all.deb                07-Dec-2022 02:41      6M
libghc-agda-doc_2.6.3-1_all.deb                    14-Oct-2023 01:30      7M
libghc-agda-doc_2.6.4.3-1_all.deb                  08-Oct-2024 20:23      7M