Index of /packages/a/agda/


../
agda-2.5.3-10-x86_64.pkg.tar.xz                    24-Jan-2018 19:42             9225908
agda-2.5.3-10-x86_64.pkg.tar.xz.sig                24-Jan-2018 19:42                 566
agda-2.5.3-11-x86_64.pkg.tar.xz                    05-Feb-2018 08:21             9316244
agda-2.5.3-11-x86_64.pkg.tar.xz.sig                05-Feb-2018 08:21                 566
agda-2.5.3-12-x86_64.pkg.tar.xz                    10-Feb-2018 12:04             9307928
agda-2.5.3-12-x86_64.pkg.tar.xz.sig                10-Feb-2018 12:04                 566
agda-2.5.3-14-x86_64.pkg.tar.xz                    11-Feb-2018 18:36             9310776
agda-2.5.3-14-x86_64.pkg.tar.xz.sig                11-Feb-2018 18:36                 566
agda-2.5.3-15-x86_64.pkg.tar.xz                    16-Feb-2018 21:54             9303292
agda-2.5.3-15-x86_64.pkg.tar.xz.sig                16-Feb-2018 21:54                 566
agda-2.5.3-16-x86_64.pkg.tar.xz                    17-Feb-2018 17:25             9313396
agda-2.5.3-16-x86_64.pkg.tar.xz.sig                17-Feb-2018 17:25                 566
agda-2.5.3-17-x86_64.pkg.tar.xz                    24-Feb-2018 11:01             9317756
agda-2.5.3-17-x86_64.pkg.tar.xz.sig                24-Feb-2018 11:01                 566
agda-2.5.3-18-x86_64.pkg.tar.xz                    27-Feb-2018 20:35             9314188
agda-2.5.3-18-x86_64.pkg.tar.xz.sig                27-Feb-2018 20:35                 566
agda-2.5.3-19-x86_64.pkg.tar.xz                    01-Mar-2018 02:53             9313932
agda-2.5.3-19-x86_64.pkg.tar.xz.sig                01-Mar-2018 02:53                 566
agda-2.5.3-20-x86_64.pkg.tar.xz                    06-Mar-2018 06:31             9313448
agda-2.5.3-20-x86_64.pkg.tar.xz.sig                06-Mar-2018 06:31                 566
agda-2.5.3-21-x86_64.pkg.tar.xz                    08-Mar-2018 13:08             9310296
agda-2.5.3-21-x86_64.pkg.tar.xz.sig                08-Mar-2018 13:08                 566
agda-2.5.3-22-x86_64.pkg.tar.xz                    09-Mar-2018 10:47             9302420
agda-2.5.3-22-x86_64.pkg.tar.xz.sig                09-Mar-2018 10:47                 566
agda-2.5.3-23-x86_64.pkg.tar.xz                    10-Mar-2018 09:48             9302816
agda-2.5.3-23-x86_64.pkg.tar.xz.sig                10-Mar-2018 09:48                 566
agda-2.5.3-24-x86_64.pkg.tar.xz                    11-Mar-2018 11:42             9308236
agda-2.5.3-24-x86_64.pkg.tar.xz.sig                11-Mar-2018 11:42                 566
agda-2.5.3-25-x86_64.pkg.tar.xz                    12-Mar-2018 11:41             9305908
agda-2.5.3-25-x86_64.pkg.tar.xz.sig                12-Mar-2018 11:41                 566
agda-2.5.3-26-x86_64.pkg.tar.xz                    13-Mar-2018 12:08             9306600
agda-2.5.3-26-x86_64.pkg.tar.xz.sig                13-Mar-2018 12:08                 566
agda-2.5.3-27-x86_64.pkg.tar.xz                    21-Mar-2018 19:11             9306772
agda-2.5.3-27-x86_64.pkg.tar.xz.sig                21-Mar-2018 19:11                 566
agda-2.5.3-28-x86_64.pkg.tar.xz                    23-Mar-2018 08:28             9311212
agda-2.5.3-28-x86_64.pkg.tar.xz.sig                23-Mar-2018 08:28                 566
agda-2.5.3-29-x86_64.pkg.tar.xz                    12-Apr-2018 06:41             9311788
agda-2.5.3-29-x86_64.pkg.tar.xz.sig                12-Apr-2018 06:41                 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