Index of /packages/a/agda/


../
agda-2.5.2-1-i686.pkg.tar.xz                       11-Jan-2017 09:19             5136312
agda-2.5.2-1-i686.pkg.tar.xz.sig                   11-Jan-2017 09:19                 566
agda-2.5.2-1-x86_64.pkg.tar.xz                     11-Jan-2017 09:19             5086908
agda-2.5.2-1-x86_64.pkg.tar.xz.sig                 11-Jan-2017 09:19                 566
agda-2.5.2-10-i686.pkg.tar.xz                      09-Apr-2017 18:02             5143996
agda-2.5.2-10-i686.pkg.tar.xz.sig                  09-Apr-2017 18:02                 566
agda-2.5.2-10-x86_64.pkg.tar.xz                    09-Apr-2017 18:03             5092056
agda-2.5.2-10-x86_64.pkg.tar.xz.sig                09-Apr-2017 18:03                 566
agda-2.5.2-11-i686.pkg.tar.xz                      27-Apr-2017 15:27             5141740
agda-2.5.2-11-i686.pkg.tar.xz.sig                  27-Apr-2017 15:27                 566
agda-2.5.2-11-x86_64.pkg.tar.xz                    27-Apr-2017 15:28             5091052
agda-2.5.2-11-x86_64.pkg.tar.xz.sig                27-Apr-2017 15:28                 566
agda-2.5.2-12-i686.pkg.tar.xz                      16-May-2017 11:12             5141804
agda-2.5.2-12-i686.pkg.tar.xz.sig                  16-May-2017 11:12                 566
agda-2.5.2-12-x86_64.pkg.tar.xz                    16-May-2017 11:12             5089832
agda-2.5.2-12-x86_64.pkg.tar.xz.sig                16-May-2017 11:12                 566
agda-2.5.2-13-i686.pkg.tar.xz                      22-May-2017 14:25             5127092
agda-2.5.2-13-i686.pkg.tar.xz.sig                  22-May-2017 14:25                 566
agda-2.5.2-13-x86_64.pkg.tar.xz                    22-May-2017 14:25             5077120
agda-2.5.2-13-x86_64.pkg.tar.xz.sig                22-May-2017 14:25                 566
agda-2.5.2-14-i686.pkg.tar.xz                      23-Jun-2017 04:33             8820516
agda-2.5.2-14-i686.pkg.tar.xz.sig                  23-Jun-2017 04:33                 566
agda-2.5.2-14-x86_64.pkg.tar.xz                    23-Jun-2017 04:33             8930760
agda-2.5.2-14-x86_64.pkg.tar.xz.sig                23-Jun-2017 04:33                 566
agda-2.5.2-15-i686.pkg.tar.xz                      23-Jun-2017 13:25             8811936
agda-2.5.2-15-i686.pkg.tar.xz.sig                  23-Jun-2017 13:25                 566
agda-2.5.2-15-x86_64.pkg.tar.xz                    23-Jun-2017 13:26             8920852
agda-2.5.2-15-x86_64.pkg.tar.xz.sig                23-Jun-2017 13:26                 566
agda-2.5.2-16-i686.pkg.tar.xz                      28-Jun-2017 09:43             8813144
agda-2.5.2-16-i686.pkg.tar.xz.sig                  28-Jun-2017 09:43                 566
agda-2.5.2-16-x86_64.pkg.tar.xz                    28-Jun-2017 09:44             8925256
agda-2.5.2-16-x86_64.pkg.tar.xz.sig                28-Jun-2017 09:44                 566
agda-2.5.2-17-i686.pkg.tar.xz                      05-Aug-2017 19:31             8815836
agda-2.5.2-17-i686.pkg.tar.xz.sig                  05-Aug-2017 19:31                 566
agda-2.5.2-17-x86_64.pkg.tar.xz                    05-Aug-2017 19:31             8926524
agda-2.5.2-17-x86_64.pkg.tar.xz.sig                05-Aug-2017 19:31                 566
agda-2.5.2-2-i686.pkg.tar.xz                       08-Feb-2017 08:10             5143168
agda-2.5.2-2-i686.pkg.tar.xz.sig                   08-Feb-2017 08:10                 566
agda-2.5.2-2-x86_64.pkg.tar.xz                     08-Feb-2017 08:10             5090776
agda-2.5.2-2-x86_64.pkg.tar.xz.sig                 08-Feb-2017 08:10                 566
agda-2.5.2-3-i686.pkg.tar.xz                       09-Feb-2017 09:44             5144752
agda-2.5.2-3-i686.pkg.tar.xz.sig                   09-Feb-2017 09:44                 566
agda-2.5.2-3-x86_64.pkg.tar.xz                     09-Feb-2017 09:44             5091856
agda-2.5.2-3-x86_64.pkg.tar.xz.sig                 09-Feb-2017 09:44                 566
agda-2.5.2-4-i686.pkg.tar.xz                       11-Feb-2017 16:31             5144672
agda-2.5.2-4-i686.pkg.tar.xz.sig                   11-Feb-2017 16:31                 566
agda-2.5.2-4-x86_64.pkg.tar.xz                     11-Feb-2017 16:32             5092620
agda-2.5.2-4-x86_64.pkg.tar.xz.sig                 11-Feb-2017 16:32                 566
agda-2.5.2-5-i686.pkg.tar.xz                       19-Mar-2017 15:01             5148204
agda-2.5.2-5-i686.pkg.tar.xz.sig                   19-Mar-2017 15:01                 566
agda-2.5.2-5-x86_64.pkg.tar.xz                     19-Mar-2017 15:01             5094824
agda-2.5.2-5-x86_64.pkg.tar.xz.sig                 19-Mar-2017 15:01                 566
agda-2.5.2-6-i686.pkg.tar.xz                       20-Mar-2017 16:25             5148180
agda-2.5.2-6-i686.pkg.tar.xz.sig                   20-Mar-2017 16:25                 566
agda-2.5.2-6-x86_64.pkg.tar.xz                     20-Mar-2017 16:25             5098176
agda-2.5.2-6-x86_64.pkg.tar.xz.sig                 20-Mar-2017 16:25                 566
agda-2.5.2-7-i686.pkg.tar.xz                       27-Mar-2017 03:58             5146860
agda-2.5.2-7-i686.pkg.tar.xz.sig                   27-Mar-2017 03:58                 566
agda-2.5.2-7-x86_64.pkg.tar.xz                     27-Mar-2017 03:58             5096396
agda-2.5.2-7-x86_64.pkg.tar.xz.sig                 27-Mar-2017 03:58                 566
agda-2.5.2-8-i686.pkg.tar.xz                       28-Mar-2017 16:41             5147724
agda-2.5.2-8-i686.pkg.tar.xz.sig                   28-Mar-2017 16:41                 566
agda-2.5.2-8-x86_64.pkg.tar.xz                     28-Mar-2017 16:42             5096372
agda-2.5.2-8-x86_64.pkg.tar.xz.sig                 28-Mar-2017 16:42                 566
agda-2.5.2-9-i686.pkg.tar.xz                       06-Apr-2017 19:03             5143128
agda-2.5.2-9-i686.pkg.tar.xz.sig                   06-Apr-2017 19:03                 566
agda-2.5.2-9-x86_64.pkg.tar.xz                     06-Apr-2017 19:03             5091124
agda-2.5.2-9-x86_64.pkg.tar.xz.sig                 06-Apr-2017 19:03                 566
agda-2.5.3-1-i686.pkg.tar.xz                       09-Sep-2017 09:08             9201824
agda-2.5.3-1-i686.pkg.tar.xz.sig                   09-Sep-2017 09:08                 566
agda-2.5.3-1-x86_64.pkg.tar.xz                     09-Sep-2017 09:09             9529300
agda-2.5.3-1-x86_64.pkg.tar.xz.sig                 09-Sep-2017 09:09                 566
agda-2.5.3-2-i686.pkg.tar.xz                       23-Sep-2017 16:11             8915796
agda-2.5.3-2-i686.pkg.tar.xz.sig                   23-Sep-2017 16:11                 566
agda-2.5.3-2-x86_64.pkg.tar.xz                     23-Sep-2017 16:11             9247412
agda-2.5.3-2-x86_64.pkg.tar.xz.sig                 23-Sep-2017 16:11                 566
agda-2.5.3-3-i686.pkg.tar.xz                       28-Sep-2017 14:52             8924656
agda-2.5.3-3-i686.pkg.tar.xz.sig                   28-Sep-2017 14:52                 566
agda-2.5.3-3-x86_64.pkg.tar.xz                     28-Sep-2017 14:52             9251348
agda-2.5.3-3-x86_64.pkg.tar.xz.sig                 28-Sep-2017 14:52                 566
agda-2.5.3-4-i686.pkg.tar.xz                       06-Oct-2017 15:55             8913620
agda-2.5.3-4-i686.pkg.tar.xz.sig                   06-Oct-2017 15:55                 566
agda-2.5.3-4-x86_64.pkg.tar.xz                     06-Oct-2017 15:56             9244104
agda-2.5.3-4-x86_64.pkg.tar.xz.sig                 06-Oct-2017 15:56                 566
agda-2.5.3-5-x86_64.pkg.tar.xz                     27-Nov-2017 09:13             9221664
agda-2.5.3-5-x86_64.pkg.tar.xz.sig                 27-Nov-2017 09:13                 566
agda-2.5.3-6-x86_64.pkg.tar.xz                     28-Dec-2017 09:33             9222232
agda-2.5.3-6-x86_64.pkg.tar.xz.sig                 28-Dec-2017 09:33                 566
agda-2.5.3-7-x86_64.pkg.tar.xz                     29-Dec-2017 04:00             9306512
agda-2.5.3-7-x86_64.pkg.tar.xz.sig                 29-Dec-2017 04:00                 565
agda-2.5.3-8-x86_64.pkg.tar.xz                     16-Jan-2018 14:29             9232388
agda-2.5.3-8-x86_64.pkg.tar.xz.sig                 16-Jan-2018 14:29                 566
agda-2.5.3-9-x86_64.pkg.tar.xz                     23-Jan-2018 09:43             9232612
agda-2.5.3-9-x86_64.pkg.tar.xz.sig                 23-Jan-2018 09:43                 566
agda-2.5.3rc-1-i686.pkg.tar.xz                     16-Aug-2017 21:37             9485864
agda-2.5.3rc-1-i686.pkg.tar.xz.sig                 16-Aug-2017 21:37                 566
agda-2.5.3rc-1-x86_64.pkg.tar.xz                   16-Aug-2017 21:37             9839680
agda-2.5.3rc-1-x86_64.pkg.tar.xz.sig               16-Aug-2017 21:37                 566