Index of /packages/i/idris/


../
idris-0.99-1-i686.pkg.tar.xz                       05-Dec-2016 15:13            24181016
idris-0.99-1-i686.pkg.tar.xz.sig                   05-Dec-2016 15:13                 566
idris-0.99-1-x86_64.pkg.tar.xz                     05-Dec-2016 15:13            23927408
idris-0.99-1-x86_64.pkg.tar.xz.sig                 05-Dec-2016 15:13                 566
idris-0.99-10-i686.pkg.tar.xz                      22-Dec-2016 18:57            24328268
idris-0.99-10-i686.pkg.tar.xz.sig                  22-Dec-2016 18:57                 566
idris-0.99-10-x86_64.pkg.tar.xz                    22-Dec-2016 18:58            24079144
idris-0.99-10-x86_64.pkg.tar.xz.sig                22-Dec-2016 18:58                 566
idris-0.99-11-i686.pkg.tar.xz                      26-Dec-2016 00:17            24327096
idris-0.99-11-i686.pkg.tar.xz.sig                  26-Dec-2016 00:17                 566
idris-0.99-11-x86_64.pkg.tar.xz                    26-Dec-2016 00:19            24075164
idris-0.99-11-x86_64.pkg.tar.xz.sig                26-Dec-2016 00:19                 566
idris-0.99-12-i686.pkg.tar.xz                      26-Dec-2016 21:20            24330428
idris-0.99-12-i686.pkg.tar.xz.sig                  26-Dec-2016 21:20                 566
idris-0.99-12-x86_64.pkg.tar.xz                    26-Dec-2016 21:22            24076460
idris-0.99-12-x86_64.pkg.tar.xz.sig                26-Dec-2016 21:22                 566
idris-0.99-13-i686.pkg.tar.xz                      03-Jan-2017 06:02            24346268
idris-0.99-13-i686.pkg.tar.xz.sig                  03-Jan-2017 06:02                 566
idris-0.99-13-x86_64.pkg.tar.xz                    03-Jan-2017 06:02            24104268
idris-0.99-13-x86_64.pkg.tar.xz.sig                03-Jan-2017 06:02                 566
idris-0.99-14-i686.pkg.tar.xz                      07-Jan-2017 06:22            24353356
idris-0.99-14-i686.pkg.tar.xz.sig                  07-Jan-2017 06:22                 566
idris-0.99-14-x86_64.pkg.tar.xz                    07-Jan-2017 06:22            24106612
idris-0.99-14-x86_64.pkg.tar.xz.sig                07-Jan-2017 06:22                 566
idris-0.99-15-i686.pkg.tar.xz                      10-Jan-2017 09:48            24356320
idris-0.99-15-i686.pkg.tar.xz.sig                  10-Jan-2017 09:48                 566
idris-0.99-15-x86_64.pkg.tar.xz                    10-Jan-2017 09:49            24114696
idris-0.99-15-x86_64.pkg.tar.xz.sig                10-Jan-2017 09:49                 566
idris-0.99-16-i686.pkg.tar.xz                      11-Jan-2017 06:15            24360168
idris-0.99-16-i686.pkg.tar.xz.sig                  11-Jan-2017 06:15                 566
idris-0.99-16-x86_64.pkg.tar.xz                    11-Jan-2017 06:15            24109128
idris-0.99-16-x86_64.pkg.tar.xz.sig                11-Jan-2017 06:15                 566
idris-0.99-17-i686.pkg.tar.xz                      17-Jan-2017 17:39            24352756
idris-0.99-17-i686.pkg.tar.xz.sig                  17-Jan-2017 17:39                 565
idris-0.99-17-x86_64.pkg.tar.xz                    17-Jan-2017 17:40            24116020
idris-0.99-17-x86_64.pkg.tar.xz.sig                17-Jan-2017 17:40                 566
idris-0.99-18-i686.pkg.tar.xz                      23-Jan-2017 15:33            24352724
idris-0.99-18-i686.pkg.tar.xz.sig                  23-Jan-2017 15:33                 566
idris-0.99-18-x86_64.pkg.tar.xz                    23-Jan-2017 15:37            24110168
idris-0.99-18-x86_64.pkg.tar.xz.sig                23-Jan-2017 15:37                 566
idris-0.99-19-i686.pkg.tar.xz                      24-Jan-2017 09:05            24357500
idris-0.99-19-i686.pkg.tar.xz.sig                  24-Jan-2017 09:05                 566
idris-0.99-19-x86_64.pkg.tar.xz                    24-Jan-2017 09:06            24112060
idris-0.99-19-x86_64.pkg.tar.xz.sig                24-Jan-2017 09:06                 566
idris-0.99-2-i686.pkg.tar.xz                       06-Dec-2016 10:35            24182100
idris-0.99-2-i686.pkg.tar.xz.sig                   06-Dec-2016 10:35                 566
idris-0.99-2-x86_64.pkg.tar.xz                     06-Dec-2016 10:35            23920608
idris-0.99-2-x86_64.pkg.tar.xz.sig                 06-Dec-2016 10:35                 566
idris-0.99-20-i686.pkg.tar.xz                      04-Feb-2017 06:49            24358508
idris-0.99-20-i686.pkg.tar.xz.sig                  04-Feb-2017 06:49                 566
idris-0.99-20-x86_64.pkg.tar.xz                    04-Feb-2017 06:50            24111344
idris-0.99-20-x86_64.pkg.tar.xz.sig                04-Feb-2017 06:50                 566
idris-0.99-22-i686.pkg.tar.xz                      06-Feb-2017 19:11            24350028
idris-0.99-22-i686.pkg.tar.xz.sig                  06-Feb-2017 19:11                 566
idris-0.99-22-x86_64.pkg.tar.xz                    06-Feb-2017 19:12            24109284
idris-0.99-22-x86_64.pkg.tar.xz.sig                06-Feb-2017 19:12                 566
idris-0.99-23-i686.pkg.tar.xz                      07-Feb-2017 05:24            24347320
idris-0.99-23-i686.pkg.tar.xz.sig                  07-Feb-2017 05:24                 566
idris-0.99-23-x86_64.pkg.tar.xz                    07-Feb-2017 05:24            24107548
idris-0.99-23-x86_64.pkg.tar.xz.sig                07-Feb-2017 05:24                 566
idris-0.99-24-i686.pkg.tar.xz                      07-Feb-2017 22:35            24389244
idris-0.99-24-i686.pkg.tar.xz.sig                  07-Feb-2017 22:35                 566
idris-0.99-24-x86_64.pkg.tar.xz                    07-Feb-2017 22:36            24142892
idris-0.99-24-x86_64.pkg.tar.xz.sig                07-Feb-2017 22:36                 566
idris-0.99-25-i686.pkg.tar.xz                      10-Feb-2017 16:02            24390208
idris-0.99-25-i686.pkg.tar.xz.sig                  10-Feb-2017 16:02                 566
idris-0.99-25-x86_64.pkg.tar.xz                    10-Feb-2017 16:03            24143320
idris-0.99-25-x86_64.pkg.tar.xz.sig                10-Feb-2017 16:03                 566
idris-0.99-26-i686.pkg.tar.xz                      11-Feb-2017 18:32            24388996
idris-0.99-26-i686.pkg.tar.xz.sig                  11-Feb-2017 18:32                 566
idris-0.99-26-x86_64.pkg.tar.xz                    11-Feb-2017 18:32            24139040
idris-0.99-26-x86_64.pkg.tar.xz.sig                11-Feb-2017 18:32                 566
idris-0.99-27-i686.pkg.tar.xz                      14-Feb-2017 10:37            24391040
idris-0.99-27-i686.pkg.tar.xz.sig                  14-Feb-2017 10:37                 566
idris-0.99-27-x86_64.pkg.tar.xz                    14-Feb-2017 10:38            24139940
idris-0.99-27-x86_64.pkg.tar.xz.sig                14-Feb-2017 10:38                 566
idris-0.99-28-i686.pkg.tar.xz                      16-Feb-2017 18:37            24391996
idris-0.99-28-i686.pkg.tar.xz.sig                  16-Feb-2017 18:37                 566
idris-0.99-28-x86_64.pkg.tar.xz                    16-Feb-2017 18:41            24140232
idris-0.99-28-x86_64.pkg.tar.xz.sig                16-Feb-2017 18:41                 566
idris-0.99-29-i686.pkg.tar.xz                      17-Feb-2017 08:07            24394936
idris-0.99-29-i686.pkg.tar.xz.sig                  17-Feb-2017 08:07                 566
idris-0.99-29-x86_64.pkg.tar.xz                    17-Feb-2017 08:08            24142872
idris-0.99-29-x86_64.pkg.tar.xz.sig                17-Feb-2017 08:08                 566
idris-0.99-3-i686.pkg.tar.xz                       12-Dec-2016 09:13            24183324
idris-0.99-3-i686.pkg.tar.xz.sig                   12-Dec-2016 09:13                 566
idris-0.99-3-x86_64.pkg.tar.xz                     12-Dec-2016 09:14            23927852
idris-0.99-3-x86_64.pkg.tar.xz.sig                 12-Dec-2016 09:14                 566
idris-0.99-30-i686.pkg.tar.xz                      01-Mar-2017 08:26            24387044
idris-0.99-30-i686.pkg.tar.xz.sig                  01-Mar-2017 08:26                 566
idris-0.99-30-x86_64.pkg.tar.xz                    01-Mar-2017 08:27            24135516
idris-0.99-30-x86_64.pkg.tar.xz.sig                01-Mar-2017 08:27                 566
idris-0.99-4-i686.pkg.tar.xz                       13-Dec-2016 15:51            24182816
idris-0.99-4-i686.pkg.tar.xz.sig                   13-Dec-2016 15:51                 566
idris-0.99-4-x86_64.pkg.tar.xz                     13-Dec-2016 15:52            23921328
idris-0.99-4-x86_64.pkg.tar.xz.sig                 13-Dec-2016 15:52                 566
idris-0.99-5-i686.pkg.tar.xz                       14-Dec-2016 09:17            24183392
idris-0.99-5-i686.pkg.tar.xz.sig                   14-Dec-2016 09:17                 566
idris-0.99-5-x86_64.pkg.tar.xz                     14-Dec-2016 09:17            23927204
idris-0.99-5-x86_64.pkg.tar.xz.sig                 14-Dec-2016 09:17                 566
idris-0.99-6-i686.pkg.tar.xz                       15-Dec-2016 18:18            24177488
idris-0.99-6-i686.pkg.tar.xz.sig                   15-Dec-2016 18:18                 566
idris-0.99-6-x86_64.pkg.tar.xz                     15-Dec-2016 18:19            23933268
idris-0.99-6-x86_64.pkg.tar.xz.sig                 15-Dec-2016 18:19                 566
idris-0.99-7-i686.pkg.tar.xz                       16-Dec-2016 07:40            24185540
idris-0.99-7-i686.pkg.tar.xz.sig                   16-Dec-2016 07:40                 566
idris-0.99-7-x86_64.pkg.tar.xz                     16-Dec-2016 07:40            23928380
idris-0.99-7-x86_64.pkg.tar.xz.sig                 16-Dec-2016 07:40                 566
idris-0.99-8-i686.pkg.tar.xz                       17-Dec-2016 09:37            24190080
idris-0.99-8-i686.pkg.tar.xz.sig                   17-Dec-2016 09:37                 566
idris-0.99-8-x86_64.pkg.tar.xz                     17-Dec-2016 09:38            23928836
idris-0.99-8-x86_64.pkg.tar.xz.sig                 17-Dec-2016 09:38                 566
idris-0.99-9-i686.pkg.tar.xz                       18-Dec-2016 10:57            24190308
idris-0.99-9-i686.pkg.tar.xz.sig                   18-Dec-2016 10:57                 566
idris-0.99-9-x86_64.pkg.tar.xz                     18-Dec-2016 10:59            23933028
idris-0.99-9-x86_64.pkg.tar.xz.sig                 18-Dec-2016 10:59                 566
idris-0.99.1-1-i686.pkg.tar.xz                     09-Mar-2017 07:51            24723200
idris-0.99.1-1-i686.pkg.tar.xz.sig                 09-Mar-2017 07:51                 566
idris-0.99.1-1-x86_64.pkg.tar.xz                   09-Mar-2017 07:52            24472728
idris-0.99.1-1-x86_64.pkg.tar.xz.sig               09-Mar-2017 07:52                 566
idris-0.99.1-2-i686.pkg.tar.xz                     10-Mar-2017 04:28            24725452
idris-0.99.1-2-i686.pkg.tar.xz.sig                 10-Mar-2017 04:28                 566
idris-0.99.1-2-x86_64.pkg.tar.xz                   10-Mar-2017 04:28            24477460
idris-0.99.1-2-x86_64.pkg.tar.xz.sig               10-Mar-2017 04:28                 566
idris-0.99.1-3-i686.pkg.tar.xz                     12-Mar-2017 18:29            24723444
idris-0.99.1-3-i686.pkg.tar.xz.sig                 12-Mar-2017 18:29                 566
idris-0.99.1-3-x86_64.pkg.tar.xz                   12-Mar-2017 18:29            24477712
idris-0.99.1-3-x86_64.pkg.tar.xz.sig               12-Mar-2017 18:29                 566
idris-0.99.1-4-i686.pkg.tar.xz                     16-Mar-2017 16:59            24722404
idris-0.99.1-4-i686.pkg.tar.xz.sig                 16-Mar-2017 16:59                 566
idris-0.99.1-4-x86_64.pkg.tar.xz                   16-Mar-2017 17:00            24478112
idris-0.99.1-4-x86_64.pkg.tar.xz.sig               16-Mar-2017 17:00                 566
idris-0.99.1-5-i686.pkg.tar.xz                     19-Mar-2017 21:59            24724572
idris-0.99.1-5-i686.pkg.tar.xz.sig                 19-Mar-2017 21:59                 566
idris-0.99.1-5-x86_64.pkg.tar.xz                   19-Mar-2017 22:00            24475232
idris-0.99.1-5-x86_64.pkg.tar.xz.sig               19-Mar-2017 22:00                 566
idris-0.99.1-6-i686.pkg.tar.xz                     21-Mar-2017 08:10            24721008
idris-0.99.1-6-i686.pkg.tar.xz.sig                 21-Mar-2017 08:10                 566
idris-0.99.1-6-x86_64.pkg.tar.xz                   21-Mar-2017 08:11            24468372
idris-0.99.1-6-x86_64.pkg.tar.xz.sig               21-Mar-2017 08:11                 566
idris-0.99.2-1-i686.pkg.tar.xz                     27-Mar-2017 05:45            24797424
idris-0.99.2-1-i686.pkg.tar.xz.sig                 27-Mar-2017 05:45                 566
idris-0.99.2-1-x86_64.pkg.tar.xz                   27-Mar-2017 05:46            24560044
idris-0.99.2-1-x86_64.pkg.tar.xz.sig               27-Mar-2017 05:46                 566
idris-0.99.2-2-i686.pkg.tar.xz                     28-Mar-2017 05:35            24797600
idris-0.99.2-2-i686.pkg.tar.xz.sig                 28-Mar-2017 05:35                 566
idris-0.99.2-2-x86_64.pkg.tar.xz                   28-Mar-2017 05:36            24557140
idris-0.99.2-2-x86_64.pkg.tar.xz.sig               28-Mar-2017 05:36                 566
idris-1.0-1-i686.pkg.tar.xz                        03-Apr-2017 14:40            24797748
idris-1.0-1-i686.pkg.tar.xz.sig                    03-Apr-2017 14:40                 566
idris-1.0-1-x86_64.pkg.tar.xz                      03-Apr-2017 14:41            24566480
idris-1.0-1-x86_64.pkg.tar.xz.sig                  03-Apr-2017 14:41                 566
idris-1.0-10-i686.pkg.tar.xz                       18-Apr-2017 05:36            24785308
idris-1.0-10-i686.pkg.tar.xz.sig                   18-Apr-2017 05:36                 566
idris-1.0-10-x86_64.pkg.tar.xz                     18-Apr-2017 05:37            24540736
idris-1.0-10-x86_64.pkg.tar.xz.sig                 18-Apr-2017 05:37                 566
idris-1.0-11-i686.pkg.tar.xz                       19-Apr-2017 20:40            24783584
idris-1.0-11-i686.pkg.tar.xz.sig                   19-Apr-2017 20:40                 566
idris-1.0-11-x86_64.pkg.tar.xz                     19-Apr-2017 20:42            24545552
idris-1.0-11-x86_64.pkg.tar.xz.sig                 19-Apr-2017 20:42                 566
idris-1.0-12-i686.pkg.tar.xz                       21-Apr-2017 08:19            24782672
idris-1.0-12-i686.pkg.tar.xz.sig                   21-Apr-2017 08:19                 566
idris-1.0-12-x86_64.pkg.tar.xz                     21-Apr-2017 08:20            24544436
idris-1.0-12-x86_64.pkg.tar.xz.sig                 21-Apr-2017 08:20                 566
idris-1.0-13-i686.pkg.tar.xz                       23-Apr-2017 21:12            24782128
idris-1.0-13-i686.pkg.tar.xz.sig                   23-Apr-2017 21:12                 566
idris-1.0-13-x86_64.pkg.tar.xz                     23-Apr-2017 21:14            24540648
idris-1.0-13-x86_64.pkg.tar.xz.sig                 23-Apr-2017 21:14                 566
idris-1.0-14-i686.pkg.tar.xz                       24-Apr-2017 10:09            24809708
idris-1.0-14-i686.pkg.tar.xz.sig                   24-Apr-2017 10:09                 566
idris-1.0-14-x86_64.pkg.tar.xz                     24-Apr-2017 10:10            24569880
idris-1.0-14-x86_64.pkg.tar.xz.sig                 24-Apr-2017 10:10                 566
idris-1.0-15-i686.pkg.tar.xz                       25-Apr-2017 18:57            24809688
idris-1.0-15-i686.pkg.tar.xz.sig                   25-Apr-2017 18:57                 566
idris-1.0-15-x86_64.pkg.tar.xz                     25-Apr-2017 19:35            24573000
idris-1.0-15-x86_64.pkg.tar.xz.sig                 25-Apr-2017 19:35                 566
idris-1.0-16-i686.pkg.tar.xz                       02-May-2017 06:44            24807324
idris-1.0-16-i686.pkg.tar.xz.sig                   02-May-2017 06:44                 566
idris-1.0-16-x86_64.pkg.tar.xz                     02-May-2017 06:45            24569916
idris-1.0-16-x86_64.pkg.tar.xz.sig                 02-May-2017 06:45                 566
idris-1.0-17-i686.pkg.tar.xz                       04-May-2017 09:50            24991316
idris-1.0-17-i686.pkg.tar.xz.sig                   04-May-2017 09:50                 566
idris-1.0-17-x86_64.pkg.tar.xz                     04-May-2017 09:50            24756052
idris-1.0-17-x86_64.pkg.tar.xz.sig                 04-May-2017 09:50                 566
idris-1.0-18-i686.pkg.tar.xz                       09-May-2017 12:27            24992908
idris-1.0-18-i686.pkg.tar.xz.sig                   09-May-2017 12:27                 566
idris-1.0-18-x86_64.pkg.tar.xz                     09-May-2017 12:27            24752276
idris-1.0-18-x86_64.pkg.tar.xz.sig                 09-May-2017 12:27                 566
idris-1.0-19-i686.pkg.tar.xz                       16-May-2017 12:38            24995352
idris-1.0-19-i686.pkg.tar.xz.sig                   16-May-2017 12:38                 565
idris-1.0-19-x86_64.pkg.tar.xz                     16-May-2017 12:39            24760040
idris-1.0-19-x86_64.pkg.tar.xz.sig                 16-May-2017 12:39                 566
idris-1.0-20-i686.pkg.tar.xz                       23-May-2017 02:16            24917784
idris-1.0-20-i686.pkg.tar.xz.sig                   23-May-2017 02:16                 566
idris-1.0-20-x86_64.pkg.tar.xz                     23-May-2017 02:17            24688156
idris-1.0-20-x86_64.pkg.tar.xz.sig                 23-May-2017 02:17                 566
idris-1.0-21-i686.pkg.tar.xz                       25-May-2017 20:23            24920540
idris-1.0-21-i686.pkg.tar.xz.sig                   25-May-2017 20:23                 566
idris-1.0-21-x86_64.pkg.tar.xz                     25-May-2017 20:24            24692540
idris-1.0-21-x86_64.pkg.tar.xz.sig                 25-May-2017 20:24                 566
idris-1.0-22-i686.pkg.tar.xz                       28-May-2017 19:38            24921344
idris-1.0-22-i686.pkg.tar.xz.sig                   28-May-2017 19:38                 566
idris-1.0-22-x86_64.pkg.tar.xz                     28-May-2017 19:39            24690588
idris-1.0-22-x86_64.pkg.tar.xz.sig                 28-May-2017 19:39                 566
idris-1.0-23-i686.pkg.tar.xz                       29-May-2017 20:08            24915440
idris-1.0-23-i686.pkg.tar.xz.sig                   29-May-2017 20:08                 566
idris-1.0-23-x86_64.pkg.tar.xz                     29-May-2017 20:08            24687748
idris-1.0-23-x86_64.pkg.tar.xz.sig                 29-May-2017 20:08                 566
idris-1.0-24-i686.pkg.tar.xz                       30-May-2017 15:06            24920640
idris-1.0-24-i686.pkg.tar.xz.sig                   30-May-2017 15:06                 566
idris-1.0-24-x86_64.pkg.tar.xz                     30-May-2017 15:08            24692044
idris-1.0-24-x86_64.pkg.tar.xz.sig                 30-May-2017 15:08                 566
idris-1.0-25-i686.pkg.tar.xz                       31-May-2017 20:49            24919764
idris-1.0-25-i686.pkg.tar.xz.sig                   31-May-2017 20:49                 566
idris-1.0-25-x86_64.pkg.tar.xz                     31-May-2017 20:50            24687236
idris-1.0-25-x86_64.pkg.tar.xz.sig                 31-May-2017 20:50                 566
idris-1.0-26-i686.pkg.tar.xz                       01-Jun-2017 21:05            24922732
idris-1.0-26-i686.pkg.tar.xz.sig                   01-Jun-2017 21:05                 566
idris-1.0-26-x86_64.pkg.tar.xz                     01-Jun-2017 21:06            24692168
idris-1.0-26-x86_64.pkg.tar.xz.sig                 01-Jun-2017 21:06                 566
idris-1.0-27-i686.pkg.tar.xz                       02-Jun-2017 23:25            24918896
idris-1.0-27-i686.pkg.tar.xz.sig                   02-Jun-2017 23:25                 566
idris-1.0-27-x86_64.pkg.tar.xz                     02-Jun-2017 23:26            24694912
idris-1.0-27-x86_64.pkg.tar.xz.sig                 02-Jun-2017 23:26                 566
idris-1.0-28-i686.pkg.tar.xz                       03-Jun-2017 12:52            24920296
idris-1.0-28-i686.pkg.tar.xz.sig                   03-Jun-2017 12:52                 566
idris-1.0-28-x86_64.pkg.tar.xz                     03-Jun-2017 12:52            24692936
idris-1.0-28-x86_64.pkg.tar.xz.sig                 03-Jun-2017 12:52                 566
idris-1.0-29-i686.pkg.tar.xz                       04-Jun-2017 04:24            24942292
idris-1.0-29-i686.pkg.tar.xz.sig                   04-Jun-2017 04:24                 566
idris-1.0-29-x86_64.pkg.tar.xz                     04-Jun-2017 04:25            24704356
idris-1.0-29-x86_64.pkg.tar.xz.sig                 04-Jun-2017 04:25                 566
idris-1.0-3-i686.pkg.tar.xz                        09-Apr-2017 19:48            24775232
idris-1.0-3-i686.pkg.tar.xz.sig                    09-Apr-2017 19:48                 566
idris-1.0-3-x86_64.pkg.tar.xz                      09-Apr-2017 19:49            24552416
idris-1.0-3-x86_64.pkg.tar.xz.sig                  09-Apr-2017 19:49                 566
idris-1.0-30-i686.pkg.tar.xz                       04-Jun-2017 16:21            24940040
idris-1.0-30-i686.pkg.tar.xz.sig                   04-Jun-2017 16:21                 566
idris-1.0-30-x86_64.pkg.tar.xz                     04-Jun-2017 16:23            24704452
idris-1.0-30-x86_64.pkg.tar.xz.sig                 04-Jun-2017 16:23                 566
idris-1.0-31-i686.pkg.tar.xz                       05-Jun-2017 02:30            24886740
idris-1.0-31-i686.pkg.tar.xz.sig                   05-Jun-2017 02:30                 566
idris-1.0-31-x86_64.pkg.tar.xz                     05-Jun-2017 02:31            24652840
idris-1.0-31-x86_64.pkg.tar.xz.sig                 05-Jun-2017 02:31                 566
idris-1.0-32-i686.pkg.tar.xz                       06-Jun-2017 21:26            24888864
idris-1.0-32-i686.pkg.tar.xz.sig                   06-Jun-2017 21:26                 566
idris-1.0-32-x86_64.pkg.tar.xz                     06-Jun-2017 21:27            24649388
idris-1.0-32-x86_64.pkg.tar.xz.sig                 06-Jun-2017 21:27                 566
idris-1.0-33-i686.pkg.tar.xz                       11-Jun-2017 09:17            24887288
idris-1.0-33-i686.pkg.tar.xz.sig                   11-Jun-2017 09:17                 566
idris-1.0-33-x86_64.pkg.tar.xz                     11-Jun-2017 09:18            24653688
idris-1.0-33-x86_64.pkg.tar.xz.sig                 11-Jun-2017 09:18                 566
idris-1.0-34-i686.pkg.tar.xz                       12-Jun-2017 10:09            24890520
idris-1.0-34-i686.pkg.tar.xz.sig                   12-Jun-2017 10:09                 566
idris-1.0-34-x86_64.pkg.tar.xz                     12-Jun-2017 10:10            24657444
idris-1.0-34-x86_64.pkg.tar.xz.sig                 12-Jun-2017 10:10                 566
idris-1.0-35-i686.pkg.tar.xz                       19-Jun-2017 08:55             8666908
idris-1.0-35-i686.pkg.tar.xz.sig                   19-Jun-2017 08:55                 566
idris-1.0-35-x86_64.pkg.tar.xz                     19-Jun-2017 08:55             8765680
idris-1.0-35-x86_64.pkg.tar.xz.sig                 19-Jun-2017 08:55                 566
idris-1.0-36-i686.pkg.tar.xz                       21-Jun-2017 06:17             8672144
idris-1.0-36-i686.pkg.tar.xz.sig                   21-Jun-2017 06:17                 566
idris-1.0-36-x86_64.pkg.tar.xz                     21-Jun-2017 06:18             8768124
idris-1.0-36-x86_64.pkg.tar.xz.sig                 21-Jun-2017 06:18                 566
idris-1.0-38-i686.pkg.tar.xz                       22-Jun-2017 19:42             8671332
idris-1.0-38-i686.pkg.tar.xz.sig                   22-Jun-2017 19:42                 566
idris-1.0-38-x86_64.pkg.tar.xz                     22-Jun-2017 19:42             8769832
idris-1.0-38-x86_64.pkg.tar.xz.sig                 22-Jun-2017 19:42                 566
idris-1.0-39-i686.pkg.tar.xz                       23-Jun-2017 19:16             8672500
idris-1.0-39-i686.pkg.tar.xz.sig                   23-Jun-2017 19:16                 566
idris-1.0-39-x86_64.pkg.tar.xz                     23-Jun-2017 19:16             8769564
idris-1.0-39-x86_64.pkg.tar.xz.sig                 23-Jun-2017 19:16                 566
idris-1.0-4-i686.pkg.tar.xz                        10-Apr-2017 21:11            24786184
idris-1.0-4-i686.pkg.tar.xz.sig                    10-Apr-2017 21:11                 566
idris-1.0-4-x86_64.pkg.tar.xz                      10-Apr-2017 21:11            24548988
idris-1.0-4-x86_64.pkg.tar.xz.sig                  10-Apr-2017 21:11                 566
idris-1.0-40-i686.pkg.tar.xz                       27-Jun-2017 09:10             8673008
idris-1.0-40-i686.pkg.tar.xz.sig                   27-Jun-2017 09:10                 566
idris-1.0-40-x86_64.pkg.tar.xz                     27-Jun-2017 09:11             8769436
idris-1.0-40-x86_64.pkg.tar.xz.sig                 27-Jun-2017 09:11                 566
idris-1.0-41-i686.pkg.tar.xz                       30-Jun-2017 22:21             8673444
idris-1.0-41-i686.pkg.tar.xz.sig                   30-Jun-2017 22:21                 566
idris-1.0-41-x86_64.pkg.tar.xz                     30-Jun-2017 22:21             8768032
idris-1.0-41-x86_64.pkg.tar.xz.sig                 30-Jun-2017 22:21                 566
idris-1.0-43-i686.pkg.tar.xz                       07-Jul-2017 22:47             8676180
idris-1.0-43-i686.pkg.tar.xz.sig                   07-Jul-2017 22:47                 566
idris-1.0-43-x86_64.pkg.tar.xz                     07-Jul-2017 22:47             8772872
idris-1.0-43-x86_64.pkg.tar.xz.sig                 07-Jul-2017 22:47                 566
idris-1.0-44-i686.pkg.tar.xz                       11-Jul-2017 09:44             8669164
idris-1.0-44-i686.pkg.tar.xz.sig                   11-Jul-2017 09:44                 566
idris-1.0-44-x86_64.pkg.tar.xz                     11-Jul-2017 09:44             8765788
idris-1.0-44-x86_64.pkg.tar.xz.sig                 11-Jul-2017 09:44                 566
idris-1.0-45-i686.pkg.tar.xz                       11-Jul-2017 23:12             8671416
idris-1.0-45-i686.pkg.tar.xz.sig                   11-Jul-2017 23:12                 566
idris-1.0-45-x86_64.pkg.tar.xz                     11-Jul-2017 23:12             8769816
idris-1.0-45-x86_64.pkg.tar.xz.sig                 11-Jul-2017 23:12                 566
idris-1.0-46-i686.pkg.tar.xz                       26-Jul-2017 18:43             8674324
idris-1.0-46-i686.pkg.tar.xz.sig                   26-Jul-2017 18:43                 566
idris-1.0-46-x86_64.pkg.tar.xz                     26-Jul-2017 18:43             8769252
idris-1.0-46-x86_64.pkg.tar.xz.sig                 26-Jul-2017 18:43                 566
idris-1.0-47-i686.pkg.tar.xz                       29-Jul-2017 18:22             8672532
idris-1.0-47-i686.pkg.tar.xz.sig                   29-Jul-2017 18:22                 566
idris-1.0-47-x86_64.pkg.tar.xz                     29-Jul-2017 18:23             8771188
idris-1.0-47-x86_64.pkg.tar.xz.sig                 29-Jul-2017 18:23                 566
idris-1.0-49-i686.pkg.tar.xz                       30-Jul-2017 18:46             8669648
idris-1.0-49-i686.pkg.tar.xz.sig                   30-Jul-2017 18:46                 566
idris-1.0-49-x86_64.pkg.tar.xz                     30-Jul-2017 18:46             8768668
idris-1.0-49-x86_64.pkg.tar.xz.sig                 30-Jul-2017 18:46                 566
idris-1.0-50-i686.pkg.tar.xz                       31-Jul-2017 20:43             8672996
idris-1.0-50-i686.pkg.tar.xz.sig                   31-Jul-2017 20:43                 566
idris-1.0-50-x86_64.pkg.tar.xz                     31-Jul-2017 20:43             8772260
idris-1.0-50-x86_64.pkg.tar.xz.sig                 31-Jul-2017 20:43                 566
idris-1.0-51-i686.pkg.tar.xz                       01-Aug-2017 17:54             8673432
idris-1.0-51-i686.pkg.tar.xz.sig                   01-Aug-2017 17:54                 566
idris-1.0-51-x86_64.pkg.tar.xz                     01-Aug-2017 17:54             8769028
idris-1.0-51-x86_64.pkg.tar.xz.sig                 01-Aug-2017 17:54                 566
idris-1.0-6-i686.pkg.tar.xz                        11-Apr-2017 20:53            24782456
idris-1.0-6-i686.pkg.tar.xz.sig                    11-Apr-2017 20:53                 566
idris-1.0-6-x86_64.pkg.tar.xz                      11-Apr-2017 20:54            24539992
idris-1.0-6-x86_64.pkg.tar.xz.sig                  11-Apr-2017 20:54                 566
idris-1.0-7-i686.pkg.tar.xz                        13-Apr-2017 03:52            24787856
idris-1.0-7-i686.pkg.tar.xz.sig                    13-Apr-2017 03:52                 566
idris-1.0-7-x86_64.pkg.tar.xz                      13-Apr-2017 03:53            24546944
idris-1.0-7-x86_64.pkg.tar.xz.sig                  13-Apr-2017 03:53                 566
idris-1.0-8-i686.pkg.tar.xz                        13-Apr-2017 14:01            24785424
idris-1.0-8-i686.pkg.tar.xz.sig                    13-Apr-2017 14:01                 566
idris-1.0-8-x86_64.pkg.tar.xz                      13-Apr-2017 14:02            24546460
idris-1.0-8-x86_64.pkg.tar.xz.sig                  13-Apr-2017 14:02                 566
idris-1.0-9-i686.pkg.tar.xz                        17-Apr-2017 16:25            24784528
idris-1.0-9-i686.pkg.tar.xz.sig                    17-Apr-2017 16:25                 566
idris-1.0-9-x86_64.pkg.tar.xz                      17-Apr-2017 16:26            24541756
idris-1.0-9-x86_64.pkg.tar.xz.sig                  17-Apr-2017 16:26                 566
idris-1.1.0-1-i686.pkg.tar.xz                      02-Aug-2017 17:43             8947200
idris-1.1.0-1-i686.pkg.tar.xz.sig                  02-Aug-2017 17:43                 566
idris-1.1.0-1-x86_64.pkg.tar.xz                    02-Aug-2017 17:44             9052340
idris-1.1.0-1-x86_64.pkg.tar.xz.sig                02-Aug-2017 17:44                 566
idris-1.1.0-10-i686.pkg.tar.xz                     10-Aug-2017 20:28             8952208
idris-1.1.0-10-i686.pkg.tar.xz.sig                 10-Aug-2017 20:28                 565
idris-1.1.0-10-x86_64.pkg.tar.xz                   10-Aug-2017 20:28             9056440
idris-1.1.0-10-x86_64.pkg.tar.xz.sig               10-Aug-2017 20:28                 566
idris-1.1.0-11-i686.pkg.tar.xz                     11-Aug-2017 18:58             8952992
idris-1.1.0-11-i686.pkg.tar.xz.sig                 11-Aug-2017 18:58                 566
idris-1.1.0-11-x86_64.pkg.tar.xz                   11-Aug-2017 18:59             9056456
idris-1.1.0-11-x86_64.pkg.tar.xz.sig               11-Aug-2017 18:59                 566
idris-1.1.0-12-i686.pkg.tar.xz                     14-Aug-2017 09:58             8950212
idris-1.1.0-12-i686.pkg.tar.xz.sig                 14-Aug-2017 09:58                 566
idris-1.1.0-12-x86_64.pkg.tar.xz                   14-Aug-2017 09:59             9054708
idris-1.1.0-12-x86_64.pkg.tar.xz.sig               14-Aug-2017 09:59                 566
idris-1.1.0-2-i686.pkg.tar.xz                      02-Aug-2017 23:01             8951728
idris-1.1.0-2-i686.pkg.tar.xz.sig                  02-Aug-2017 23:01                 566
idris-1.1.0-2-x86_64.pkg.tar.xz                    02-Aug-2017 23:01             9058288
idris-1.1.0-2-x86_64.pkg.tar.xz.sig                02-Aug-2017 23:01                 566
idris-1.1.0-4-i686.pkg.tar.xz                      04-Aug-2017 06:13             8947292
idris-1.1.0-4-i686.pkg.tar.xz.sig                  04-Aug-2017 06:13                 566
idris-1.1.0-4-x86_64.pkg.tar.xz                    04-Aug-2017 06:13             9052496
idris-1.1.0-4-x86_64.pkg.tar.xz.sig                04-Aug-2017 06:13                 566
idris-1.1.0-5-i686.pkg.tar.xz                      04-Aug-2017 12:28             8947532
idris-1.1.0-5-i686.pkg.tar.xz.sig                  04-Aug-2017 12:28                 566
idris-1.1.0-5-x86_64.pkg.tar.xz                    04-Aug-2017 12:29             9052064
idris-1.1.0-5-x86_64.pkg.tar.xz.sig                04-Aug-2017 12:29                 566
idris-1.1.0-6-i686.pkg.tar.xz                      05-Aug-2017 14:58             8947884
idris-1.1.0-6-i686.pkg.tar.xz.sig                  05-Aug-2017 14:58                 566
idris-1.1.0-6-x86_64.pkg.tar.xz                    05-Aug-2017 14:58             9052364
idris-1.1.0-6-x86_64.pkg.tar.xz.sig                05-Aug-2017 14:58                 566
idris-1.1.0-8-i686.pkg.tar.xz                      06-Aug-2017 22:08             8950976
idris-1.1.0-8-i686.pkg.tar.xz.sig                  06-Aug-2017 22:08                 566
idris-1.1.0-8-x86_64.pkg.tar.xz                    06-Aug-2017 22:08             9062848
idris-1.1.0-8-x86_64.pkg.tar.xz.sig                06-Aug-2017 22:08                 566
idris-1.1.0-9-i686.pkg.tar.xz                      07-Aug-2017 09:34             8949668
idris-1.1.0-9-i686.pkg.tar.xz.sig                  07-Aug-2017 09:34                 566
idris-1.1.0-9-x86_64.pkg.tar.xz                    07-Aug-2017 09:34             9056496
idris-1.1.0-9-x86_64.pkg.tar.xz.sig                07-Aug-2017 09:34                 566
idris-1.1.1-1-i686.pkg.tar.xz                      17-Aug-2017 10:20             8203448
idris-1.1.1-1-i686.pkg.tar.xz.sig                  17-Aug-2017 10:20                 566
idris-1.1.1-1-x86_64.pkg.tar.xz                    17-Aug-2017 10:20             8300436
idris-1.1.1-1-x86_64.pkg.tar.xz.sig                17-Aug-2017 10:20                 566
idris-1.1.1-10-x86_64.pkg.tar.xz                   09-Nov-2017 10:10             8190692
idris-1.1.1-10-x86_64.pkg.tar.xz.sig               09-Nov-2017 10:10                 566
idris-1.1.1-11-x86_64.pkg.tar.xz                   22-Nov-2017 12:16             8190300
idris-1.1.1-11-x86_64.pkg.tar.xz.sig               22-Nov-2017 12:16                 566
idris-1.1.1-12-x86_64.pkg.tar.xz                   27-Nov-2017 10:31             8204080
idris-1.1.1-12-x86_64.pkg.tar.xz.sig               27-Nov-2017 10:31                 566
idris-1.1.1-13-x86_64.pkg.tar.xz                   27-Nov-2017 15:06             8199320
idris-1.1.1-13-x86_64.pkg.tar.xz.sig               27-Nov-2017 15:06                 566
idris-1.1.1-14-x86_64.pkg.tar.xz                   01-Dec-2017 10:46             8201592
idris-1.1.1-14-x86_64.pkg.tar.xz.sig               01-Dec-2017 10:46                 566
idris-1.1.1-15-x86_64.pkg.tar.xz                   06-Dec-2017 13:06             8204372
idris-1.1.1-15-x86_64.pkg.tar.xz.sig               06-Dec-2017 13:06                 566
idris-1.1.1-16-x86_64.pkg.tar.xz                   07-Dec-2017 14:57             8202936
idris-1.1.1-16-x86_64.pkg.tar.xz.sig               07-Dec-2017 14:57                 566
idris-1.1.1-17-x86_64.pkg.tar.xz                   10-Dec-2017 08:00             8204512
idris-1.1.1-17-x86_64.pkg.tar.xz.sig               10-Dec-2017 08:00                 566
idris-1.1.1-2-i686.pkg.tar.xz                      18-Aug-2017 07:54             8204424
idris-1.1.1-2-i686.pkg.tar.xz.sig                  18-Aug-2017 07:54                 566
idris-1.1.1-2-x86_64.pkg.tar.xz                    18-Aug-2017 07:55             8300068
idris-1.1.1-2-x86_64.pkg.tar.xz.sig                18-Aug-2017 07:55                 566
idris-1.1.1-3-i686.pkg.tar.xz                      20-Aug-2017 09:42             8206976
idris-1.1.1-3-i686.pkg.tar.xz.sig                  20-Aug-2017 09:42                 566
idris-1.1.1-3-x86_64.pkg.tar.xz                    20-Aug-2017 09:43             8301284
idris-1.1.1-3-x86_64.pkg.tar.xz.sig                20-Aug-2017 09:43                 566
idris-1.1.1-4-i686.pkg.tar.xz                      30-Aug-2017 21:43             8203728
idris-1.1.1-4-i686.pkg.tar.xz.sig                  30-Aug-2017 21:43                 566
idris-1.1.1-4-x86_64.pkg.tar.xz                    30-Aug-2017 21:43             8299540
idris-1.1.1-4-x86_64.pkg.tar.xz.sig                30-Aug-2017 21:43                 566
idris-1.1.1-5-i686.pkg.tar.xz                      06-Sep-2017 07:06             8204460
idris-1.1.1-5-i686.pkg.tar.xz.sig                  06-Sep-2017 07:06                 566
idris-1.1.1-5-x86_64.pkg.tar.xz                    06-Sep-2017 07:06             8298064
idris-1.1.1-5-x86_64.pkg.tar.xz.sig                06-Sep-2017 07:06                 566
idris-1.1.1-6-i686.pkg.tar.xz                      21-Sep-2017 10:24             8099568
idris-1.1.1-6-i686.pkg.tar.xz.sig                  21-Sep-2017 10:24                 566
idris-1.1.1-6-x86_64.pkg.tar.xz                    21-Sep-2017 10:24             8196196
idris-1.1.1-6-x86_64.pkg.tar.xz.sig                21-Sep-2017 10:24                 566
idris-1.1.1-7-i686.pkg.tar.xz                      03-Oct-2017 15:29             8096104
idris-1.1.1-7-i686.pkg.tar.xz.sig                  03-Oct-2017 15:29                 566
idris-1.1.1-7-x86_64.pkg.tar.xz                    03-Oct-2017 15:29             8188556
idris-1.1.1-7-x86_64.pkg.tar.xz.sig                03-Oct-2017 15:29                 566
idris-1.1.1-8-i686.pkg.tar.xz                      05-Oct-2017 14:51             8095708
idris-1.1.1-8-i686.pkg.tar.xz.sig                  05-Oct-2017 14:51                 566
idris-1.1.1-8-x86_64.pkg.tar.xz                    05-Oct-2017 14:51             8193108
idris-1.1.1-8-x86_64.pkg.tar.xz.sig                05-Oct-2017 14:51                 566
idris-1.1.1-9-i686.pkg.tar.xz                      19-Oct-2017 06:12             8097136
idris-1.1.1-9-i686.pkg.tar.xz.sig                  19-Oct-2017 06:12                 566
idris-1.1.1-9-x86_64.pkg.tar.xz                    19-Oct-2017 06:12             8193952
idris-1.1.1-9-x86_64.pkg.tar.xz.sig                19-Oct-2017 06:12                 566