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

../
agda-bin_2.5.2-2+b1_amd64.deb                      14-Jul-2017 14:28             5056190
agda-bin_2.5.2-2+b1_arm64.deb                      14-Jul-2017 18:36             8127230
agda-bin_2.5.2-2+b1_i386.deb                       14-Jul-2017 15:14             5093600
agda-bin_2.5.3-3+b1_amd64.deb                      05-Nov-2017 03:55             5818604
agda-bin_2.5.3-3+b1_arm64.deb                      05-Nov-2017 06:11             9233292
agda-bin_2.5.3-3+b1_i386.deb                       05-Nov-2017 03:55             5821992
agda-bin_2.5.3-3+b2_amd64.deb                      25-Nov-2017 04:59             5816024
agda-bin_2.5.3-3+b2_arm64.deb                      25-Nov-2017 07:57             9226708
agda-bin_2.5.3-3+b2_i386.deb                       25-Nov-2017 05:40             5822044
agda-bin_2.5.4.1-3+b1_amd64.deb                    27-Dec-2018 00:04             5868440
agda-bin_2.5.4.1-3+b1_arm64.deb                    27-Dec-2018 00:00             6780816
agda-bin_2.5.4.1-3+b1_i386.deb                     27-Dec-2018 00:05             5946324
agda-mode_2.5.4.1-3_all.deb                        29-Nov-2018 12:00              117680
agda_2.5.4.1-3.debian.tar.xz                       29-Nov-2018 12:00                9928
agda_2.5.4.1-3.dsc                                 29-Nov-2018 12:00                3870
agda_2.5.4.1-3_all.deb                             29-Nov-2018 12:00              118104
agda_2.5.4.1.orig.tar.gz                           29-Nov-2018 12:00             1989201
elpa-agda2-mode_2.5.4.1-3_all.deb                  29-Nov-2018 12:00              155444
libghc-agda-dev_2.5.2-2+b1_amd64.deb               14-Jul-2017 14:28            13328920
libghc-agda-dev_2.5.2-2+b1_arm64.deb               14-Jul-2017 18:36            19839258
libghc-agda-dev_2.5.2-2+b1_i386.deb                14-Jul-2017 15:14            13212100
libghc-agda-dev_2.5.3-3+b1_amd64.deb               05-Nov-2017 03:55            15998028
libghc-agda-dev_2.5.3-3+b1_arm64.deb               05-Nov-2017 06:11            23942348
libghc-agda-dev_2.5.3-3+b1_i386.deb                05-Nov-2017 03:55            15703368
libghc-agda-dev_2.5.3-3+b2_amd64.deb               25-Nov-2017 04:59            15974848
libghc-agda-dev_2.5.3-3+b2_arm64.deb               25-Nov-2017 07:57            23940320
libghc-agda-dev_2.5.3-3+b2_i386.deb                25-Nov-2017 05:40            15689108
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             27-Dec-2018 00:05            17170668
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb             27-Dec-2018 00:00            19737352
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              27-Dec-2018 00:06            16797896
libghc-agda-doc_2.5.4.1-3_all.deb                  29-Nov-2018 12:00             3790832