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-bin_2.6.0.1-1+b1_amd64.deb                    13-Sep-2019 14:58             6702460
agda-bin_2.6.0.1-1+b1_arm64.deb                    13-Sep-2019 17:10             7917104
agda-bin_2.6.0.1-1+b1_i386.deb                     13-Sep-2019 17:26             6769952
agda-bin_2.6.0.1-1+b2_amd64.deb                    25-Jan-2020 17:06             6699900
agda-bin_2.6.0.1-1+b2_arm64.deb                    25-Jan-2020 20:13             7918220
agda-bin_2.6.0.1-1+b2_i386.deb                     25-Jan-2020 17:31             6767216
agda-bin_2.6.1-1+b2_amd64.deb                      19-Aug-2020 19:59             8910056
agda-bin_2.6.1-1+b2_arm64.deb                      19-Aug-2020 21:57            10374216
agda-bin_2.6.1-1+b2_i386.deb                       19-Aug-2020 22:58             8967940
agda-bin_2.6.1-1+b3_amd64.deb                      03-Oct-2021 10:12             8911340
agda-bin_2.6.1-1+b3_arm64.deb                      03-Oct-2021 14:29            10370112
agda-bin_2.6.1-1+b3_i386.deb                       03-Oct-2021 10:28             8968812
agda_2.6.1-1.debian.tar.xz                         29-Jul-2020 15:40               10060
agda_2.6.1-1.dsc                                   29-Jul-2020 15:40                4186
agda_2.6.1-1_all.deb                               29-Jul-2020 16:40               28736
agda_2.6.1.orig.tar.gz                             29-Jul-2020 15:40             2646289
elpa-agda2-mode_2.6.1-1_all.deb                    29-Jul-2020 16:40               66816
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-dev_2.6.0.1-1+b1_amd64.deb             13-Sep-2019 14:58            19833288
libghc-agda-dev_2.6.0.1-1+b1_arm64.deb             13-Sep-2019 17:10            23337620
libghc-agda-dev_2.6.0.1-1+b1_i386.deb              13-Sep-2019 17:26            19521108
libghc-agda-dev_2.6.0.1-1+b2_amd64.deb             25-Jan-2020 17:06            19809632
libghc-agda-dev_2.6.0.1-1+b2_arm64.deb             25-Jan-2020 20:13            23337892
libghc-agda-dev_2.6.0.1-1+b2_i386.deb              25-Jan-2020 17:31            19502704
libghc-agda-dev_2.6.1-1+b2_amd64.deb               19-Aug-2020 19:59            37948252
libghc-agda-dev_2.6.1-1+b2_arm64.deb               19-Aug-2020 21:57            44818592
libghc-agda-dev_2.6.1-1+b2_i386.deb                19-Aug-2020 22:58            38089964
libghc-agda-dev_2.6.1-1+b3_amd64.deb               03-Oct-2021 10:12            37929588
libghc-agda-dev_2.6.1-1+b3_arm64.deb               03-Oct-2021 14:29            44808040
libghc-agda-dev_2.6.1-1+b3_i386.deb                03-Oct-2021 10:28            38088112
libghc-agda-doc_2.6.1-1_all.deb                    29-Jul-2020 16:40             5799636