Index of /packages/i/idris/


../
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-18-x86_64.pkg.tar.xz                   16-Dec-2017 17:50             8198748
idris-1.1.1-18-x86_64.pkg.tar.xz.sig               16-Dec-2017 17:50                 566
idris-1.1.1-19-x86_64.pkg.tar.xz                   25-Dec-2017 04:42             8241280
idris-1.1.1-19-x86_64.pkg.tar.xz.sig               25-Dec-2017 04:42                 566
idris-1.1.1-20-x86_64.pkg.tar.xz                   30-Dec-2017 12:51             8240976
idris-1.1.1-20-x86_64.pkg.tar.xz.sig               30-Dec-2017 12:51                 566
idris-1.1.1-21-x86_64.pkg.tar.xz                   31-Dec-2017 12:17             8195972
idris-1.1.1-21-x86_64.pkg.tar.xz.sig               31-Dec-2017 12:17                 566
idris-1.1.1-22-x86_64.pkg.tar.xz                   03-Jan-2018 08:36             8202796
idris-1.1.1-22-x86_64.pkg.tar.xz.sig               03-Jan-2018 08:36                 566
idris-1.1.1-23-x86_64.pkg.tar.xz                   08-Jan-2018 05:52             8201636
idris-1.1.1-23-x86_64.pkg.tar.xz.sig               08-Jan-2018 05:52                 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
idris-1.2.0-10-x86_64.pkg.tar.xz                   23-Jan-2018 14:21             8772280
idris-1.2.0-10-x86_64.pkg.tar.xz.sig               23-Jan-2018 14:21                 566
idris-1.2.0-11-x86_64.pkg.tar.xz                   24-Jan-2018 08:41             8770840
idris-1.2.0-11-x86_64.pkg.tar.xz.sig               24-Jan-2018 08:41                 566
idris-1.2.0-12-x86_64.pkg.tar.xz                   25-Jan-2018 03:22             8767892
idris-1.2.0-12-x86_64.pkg.tar.xz.sig               25-Jan-2018 03:22                 566
idris-1.2.0-13-x86_64.pkg.tar.xz                   02-Feb-2018 14:23             8841132
idris-1.2.0-13-x86_64.pkg.tar.xz.sig               02-Feb-2018 14:23                 566
idris-1.2.0-14-x86_64.pkg.tar.xz                   06-Feb-2018 19:31             8840124
idris-1.2.0-14-x86_64.pkg.tar.xz.sig               06-Feb-2018 19:31                 566
idris-1.2.0-15-x86_64.pkg.tar.xz                   08-Feb-2018 04:38             8842864
idris-1.2.0-15-x86_64.pkg.tar.xz.sig               08-Feb-2018 04:38                 566
idris-1.2.0-16-x86_64.pkg.tar.xz                   09-Feb-2018 18:31             8842424
idris-1.2.0-16-x86_64.pkg.tar.xz.sig               09-Feb-2018 18:31                 566
idris-1.2.0-2-x86_64.pkg.tar.xz                    10-Jan-2018 05:05             8778228
idris-1.2.0-2-x86_64.pkg.tar.xz.sig                10-Jan-2018 05:05                 566
idris-1.2.0-20-x86_64.pkg.tar.xz                   10-Feb-2018 21:30             8843656
idris-1.2.0-20-x86_64.pkg.tar.xz.sig               10-Feb-2018 21:30                 566
idris-1.2.0-21-x86_64.pkg.tar.xz                   11-Feb-2018 10:43             8840192
idris-1.2.0-21-x86_64.pkg.tar.xz.sig               11-Feb-2018 10:43                 566
idris-1.2.0-22-x86_64.pkg.tar.xz                   11-Feb-2018 14:52             8841596
idris-1.2.0-22-x86_64.pkg.tar.xz.sig               11-Feb-2018 14:52                 566
idris-1.2.0-23-x86_64.pkg.tar.xz                   12-Feb-2018 09:49             8840332
idris-1.2.0-23-x86_64.pkg.tar.xz.sig               12-Feb-2018 09:49                 566
idris-1.2.0-24-x86_64.pkg.tar.xz                   12-Feb-2018 16:19             8841800
idris-1.2.0-24-x86_64.pkg.tar.xz.sig               12-Feb-2018 16:19                 566
idris-1.2.0-25-x86_64.pkg.tar.xz                   14-Feb-2018 08:56             8842572
idris-1.2.0-25-x86_64.pkg.tar.xz.sig               14-Feb-2018 08:56                 566
idris-1.2.0-26-x86_64.pkg.tar.xz                   14-Feb-2018 19:12             8839428
idris-1.2.0-26-x86_64.pkg.tar.xz.sig               14-Feb-2018 19:12                 566
idris-1.2.0-28-x86_64.pkg.tar.xz                   17-Feb-2018 07:23             8837376
idris-1.2.0-28-x86_64.pkg.tar.xz.sig               17-Feb-2018 07:23                 566
idris-1.2.0-29-x86_64.pkg.tar.xz                   20-Feb-2018 19:07             8840312
idris-1.2.0-29-x86_64.pkg.tar.xz.sig               20-Feb-2018 19:07                 566
idris-1.2.0-3-x86_64.pkg.tar.xz                    14-Jan-2018 17:40             8767624
idris-1.2.0-3-x86_64.pkg.tar.xz.sig                14-Jan-2018 17:40                 566
idris-1.2.0-30-x86_64.pkg.tar.xz                   21-Feb-2018 21:58             8839296
idris-1.2.0-30-x86_64.pkg.tar.xz.sig               21-Feb-2018 21:58                 566
idris-1.2.0-31-x86_64.pkg.tar.xz                   23-Feb-2018 09:56             8840416
idris-1.2.0-31-x86_64.pkg.tar.xz.sig               23-Feb-2018 09:56                 566
idris-1.2.0-32-x86_64.pkg.tar.xz                   24-Feb-2018 09:48             8845476
idris-1.2.0-32-x86_64.pkg.tar.xz.sig               24-Feb-2018 09:48                 566
idris-1.2.0-33-x86_64.pkg.tar.xz                   26-Feb-2018 16:24             8841516
idris-1.2.0-33-x86_64.pkg.tar.xz.sig               26-Feb-2018 16:24                 566
idris-1.2.0-34-x86_64.pkg.tar.xz                   27-Feb-2018 19:06             8839864
idris-1.2.0-34-x86_64.pkg.tar.xz.sig               27-Feb-2018 19:06                 566
idris-1.2.0-35-x86_64.pkg.tar.xz                   01-Mar-2018 01:39             8837512
idris-1.2.0-35-x86_64.pkg.tar.xz.sig               01-Mar-2018 01:39                 566
idris-1.2.0-36-x86_64.pkg.tar.xz                   02-Mar-2018 07:10             8837172
idris-1.2.0-36-x86_64.pkg.tar.xz.sig               02-Mar-2018 07:10                 566
idris-1.2.0-37-x86_64.pkg.tar.xz                   02-Mar-2018 20:27             8838428
idris-1.2.0-37-x86_64.pkg.tar.xz.sig               02-Mar-2018 20:27                 566
idris-1.2.0-38-x86_64.pkg.tar.xz                   03-Mar-2018 15:21             8839504
idris-1.2.0-38-x86_64.pkg.tar.xz.sig               03-Mar-2018 15:21                 566
idris-1.2.0-39-x86_64.pkg.tar.xz                   05-Mar-2018 03:38             8842996
idris-1.2.0-39-x86_64.pkg.tar.xz.sig               05-Mar-2018 03:38                 566
idris-1.2.0-4-x86_64.pkg.tar.xz                    15-Jan-2018 07:34             8768672
idris-1.2.0-4-x86_64.pkg.tar.xz.sig                15-Jan-2018 07:34                 566
idris-1.2.0-40-x86_64.pkg.tar.xz                   05-Mar-2018 20:34             8842096
idris-1.2.0-40-x86_64.pkg.tar.xz.sig               05-Mar-2018 20:34                 566
idris-1.2.0-41-x86_64.pkg.tar.xz                   06-Mar-2018 16:29             8842088
idris-1.2.0-41-x86_64.pkg.tar.xz.sig               06-Mar-2018 16:29                 566
idris-1.2.0-42-x86_64.pkg.tar.xz                   07-Mar-2018 14:04             8843704
idris-1.2.0-42-x86_64.pkg.tar.xz.sig               07-Mar-2018 14:04                 566
idris-1.2.0-43-x86_64.pkg.tar.xz                   08-Mar-2018 11:53             8841420
idris-1.2.0-43-x86_64.pkg.tar.xz.sig               08-Mar-2018 11:53                 566
idris-1.2.0-44-x86_64.pkg.tar.xz                   09-Mar-2018 09:28             8842664
idris-1.2.0-44-x86_64.pkg.tar.xz.sig               09-Mar-2018 09:28                 566
idris-1.2.0-45-x86_64.pkg.tar.xz                   10-Mar-2018 08:39             8840008
idris-1.2.0-45-x86_64.pkg.tar.xz.sig               10-Mar-2018 08:39                 566
idris-1.2.0-46-x86_64.pkg.tar.xz                   11-Mar-2018 11:02             8844108
idris-1.2.0-46-x86_64.pkg.tar.xz.sig               11-Mar-2018 11:02                 566
idris-1.2.0-48-x86_64.pkg.tar.xz                   13-Mar-2018 00:29             8837664
idris-1.2.0-48-x86_64.pkg.tar.xz.sig               13-Mar-2018 00:29                 566
idris-1.2.0-49-x86_64.pkg.tar.xz                   13-Mar-2018 11:08             8839052
idris-1.2.0-49-x86_64.pkg.tar.xz.sig               13-Mar-2018 11:08                 565
idris-1.2.0-5-x86_64.pkg.tar.xz                    16-Jan-2018 07:20             8767884
idris-1.2.0-5-x86_64.pkg.tar.xz.sig                16-Jan-2018 07:20                 566
idris-1.2.0-50-x86_64.pkg.tar.xz                   14-Mar-2018 09:25             8836584
idris-1.2.0-50-x86_64.pkg.tar.xz.sig               14-Mar-2018 09:25                 566
idris-1.2.0-51-x86_64.pkg.tar.xz                   15-Mar-2018 06:43             8836620
idris-1.2.0-51-x86_64.pkg.tar.xz.sig               15-Mar-2018 06:43                 566
idris-1.2.0-52-x86_64.pkg.tar.xz                   20-Mar-2018 20:18             8840788
idris-1.2.0-52-x86_64.pkg.tar.xz.sig               20-Mar-2018 20:18                 566
idris-1.2.0-53-x86_64.pkg.tar.xz                   21-Mar-2018 18:11             8841176
idris-1.2.0-53-x86_64.pkg.tar.xz.sig               21-Mar-2018 18:11                 566
idris-1.2.0-55-x86_64.pkg.tar.xz                   22-Mar-2018 21:34             8834984
idris-1.2.0-55-x86_64.pkg.tar.xz.sig               22-Mar-2018 21:34                 566
idris-1.2.0-56-x86_64.pkg.tar.xz                   23-Mar-2018 16:50             8841456
idris-1.2.0-56-x86_64.pkg.tar.xz.sig               23-Mar-2018 16:50                 566
idris-1.2.0-57-x86_64.pkg.tar.xz                   25-Mar-2018 07:05             8842120
idris-1.2.0-57-x86_64.pkg.tar.xz.sig               25-Mar-2018 07:05                 566
idris-1.2.0-58-x86_64.pkg.tar.xz                   07-Apr-2018 08:56             8841792
idris-1.2.0-58-x86_64.pkg.tar.xz.sig               07-Apr-2018 08:56                 566
idris-1.2.0-59-x86_64.pkg.tar.xz                   12-Apr-2018 06:12             8841552
idris-1.2.0-59-x86_64.pkg.tar.xz.sig               12-Apr-2018 06:12                 566
idris-1.2.0-6-x86_64.pkg.tar.xz                    16-Jan-2018 10:17             8772372
idris-1.2.0-6-x86_64.pkg.tar.xz.sig                16-Jan-2018 10:17                 566
idris-1.2.0-60-x86_64.pkg.tar.xz                   25-Apr-2018 08:02             8841416
idris-1.2.0-60-x86_64.pkg.tar.xz.sig               25-Apr-2018 08:02                 566
idris-1.2.0-61-x86_64.pkg.tar.xz                   25-Apr-2018 13:01             8839864
idris-1.2.0-61-x86_64.pkg.tar.xz.sig               25-Apr-2018 13:01                 566
idris-1.2.0-62-x86_64.pkg.tar.xz                   07-May-2018 20:57             8843156
idris-1.2.0-62-x86_64.pkg.tar.xz.sig               07-May-2018 20:57                 566
idris-1.2.0-63-x86_64.pkg.tar.xz                   10-May-2018 10:48             8837416
idris-1.2.0-63-x86_64.pkg.tar.xz.sig               10-May-2018 10:48                 566
idris-1.2.0-64-x86_64.pkg.tar.xz                   13-May-2018 06:17             8774988
idris-1.2.0-64-x86_64.pkg.tar.xz.sig               13-May-2018 06:17                 566
idris-1.2.0-65-x86_64.pkg.tar.xz                   14-May-2018 08:21             8771628
idris-1.2.0-65-x86_64.pkg.tar.xz.sig               14-May-2018 08:21                 566
idris-1.2.0-66-x86_64.pkg.tar.xz                   15-May-2018 06:26             8768712
idris-1.2.0-66-x86_64.pkg.tar.xz.sig               15-May-2018 06:26                 566
idris-1.2.0-67-x86_64.pkg.tar.xz                   16-May-2018 07:56             8777388
idris-1.2.0-67-x86_64.pkg.tar.xz.sig               16-May-2018 07:56                 566
idris-1.2.0-68-x86_64.pkg.tar.xz                   16-May-2018 10:30             8772068
idris-1.2.0-68-x86_64.pkg.tar.xz.sig               16-May-2018 10:30                 566
idris-1.2.0-7-x86_64.pkg.tar.xz                    16-Jan-2018 14:55             8769812
idris-1.2.0-7-x86_64.pkg.tar.xz.sig                16-Jan-2018 14:55                 566
idris-1.2.0-8-x86_64.pkg.tar.xz                    18-Jan-2018 18:07             8772760
idris-1.2.0-8-x86_64.pkg.tar.xz.sig                18-Jan-2018 18:07                 566
idris-1.2.0-9-x86_64.pkg.tar.xz                    22-Jan-2018 15:00             8769064
idris-1.2.0-9-x86_64.pkg.tar.xz.sig                22-Jan-2018 15:00                 566
idris-1.2.0.20180517-1-x86_64.pkg.tar.xz           22-May-2018 11:14             8777888
idris-1.2.0.20180517-1-x86_64.pkg.tar.xz.sig       22-May-2018 11:14                 566
idris-1.2.0.20180517-2-x86_64.pkg.tar.xz           23-May-2018 10:16             8774040
idris-1.2.0.20180517-2-x86_64.pkg.tar.xz.sig       23-May-2018 10:16                 566
idris-1.2.0.20180517-3-x86_64.pkg.tar.xz           24-May-2018 16:16             8776044
idris-1.2.0.20180517-3-x86_64.pkg.tar.xz.sig       24-May-2018 16:16                 566
idris-1.2.0.20180517-4-x86_64.pkg.tar.xz           26-May-2018 05:20             8775972
idris-1.2.0.20180517-4-x86_64.pkg.tar.xz.sig       26-May-2018 05:20                 566
idris-1.2.0.20180517-5-x86_64.pkg.tar.xz           26-May-2018 10:16             8776928
idris-1.2.0.20180517-5-x86_64.pkg.tar.xz.sig       26-May-2018 10:16                 566
idris-1.2.0.20180517-6-x86_64.pkg.tar.xz           27-May-2018 07:59             8784452
idris-1.2.0.20180517-6-x86_64.pkg.tar.xz.sig       27-May-2018 07:59                 566
idris-1.3.0-1-x86_64.pkg.tar.xz                    27-May-2018 16:28             8780016
idris-1.3.0-1-x86_64.pkg.tar.xz.sig                27-May-2018 16:28                 566
idris-1.3.0-10-x86_64.pkg.tar.xz                   06-Jun-2018 09:01             8773512
idris-1.3.0-10-x86_64.pkg.tar.xz.sig               06-Jun-2018 09:01                 566
idris-1.3.0-11-x86_64.pkg.tar.xz                   12-Jun-2018 17:46             8770120
idris-1.3.0-11-x86_64.pkg.tar.xz.sig               12-Jun-2018 17:46                 566
idris-1.3.0-12-x86_64.pkg.tar.xz                   14-Jun-2018 18:12             8772204
idris-1.3.0-12-x86_64.pkg.tar.xz.sig               14-Jun-2018 18:12                 566
idris-1.3.0-13-x86_64.pkg.tar.xz                   18-Jun-2018 09:48             8769612
idris-1.3.0-13-x86_64.pkg.tar.xz.sig               18-Jun-2018 09:48                 566
idris-1.3.0-14-x86_64.pkg.tar.xz                   22-Jun-2018 13:59             8771172
idris-1.3.0-14-x86_64.pkg.tar.xz.sig               22-Jun-2018 13:59                 566
idris-1.3.0-15-x86_64.pkg.tar.xz                   23-Jun-2018 05:59             8771236
idris-1.3.0-15-x86_64.pkg.tar.xz.sig               23-Jun-2018 05:59                 566
idris-1.3.0-16-x86_64.pkg.tar.xz                   25-Jun-2018 07:16             8769352
idris-1.3.0-16-x86_64.pkg.tar.xz.sig               25-Jun-2018 07:16                 566
idris-1.3.0-17-x86_64.pkg.tar.xz                   27-Jun-2018 15:32             8770628
idris-1.3.0-17-x86_64.pkg.tar.xz.sig               27-Jun-2018 15:32                 566
idris-1.3.0-19-x86_64.pkg.tar.xz                   28-Jun-2018 17:51             8775832
idris-1.3.0-19-x86_64.pkg.tar.xz.sig               28-Jun-2018 17:51                 566
idris-1.3.0-20-x86_64.pkg.tar.xz                   28-Jun-2018 21:42             8756460
idris-1.3.0-20-x86_64.pkg.tar.xz.sig               28-Jun-2018 21:42                 566
idris-1.3.0-21-x86_64.pkg.tar.xz                   02-Jul-2018 09:55             8760940
idris-1.3.0-21-x86_64.pkg.tar.xz.sig               02-Jul-2018 09:55                 566
idris-1.3.0-22-x86_64.pkg.tar.xz                   02-Jul-2018 16:10             8760868
idris-1.3.0-22-x86_64.pkg.tar.xz.sig               02-Jul-2018 16:10                 566
idris-1.3.0-23-x86_64.pkg.tar.xz                   03-Jul-2018 14:10             8761788
idris-1.3.0-23-x86_64.pkg.tar.xz.sig               03-Jul-2018 14:10                 566
idris-1.3.0-25-x86_64.pkg.tar.xz                   04-Jul-2018 21:42             8761740
idris-1.3.0-25-x86_64.pkg.tar.xz.sig               04-Jul-2018 21:42                 566
idris-1.3.0-26-x86_64.pkg.tar.xz                   05-Jul-2018 09:12             8763904
idris-1.3.0-26-x86_64.pkg.tar.xz.sig               05-Jul-2018 09:12                 566
idris-1.3.0-27-x86_64.pkg.tar.xz                   07-Jul-2018 22:26             8757944
idris-1.3.0-27-x86_64.pkg.tar.xz.sig               07-Jul-2018 22:26                 566
idris-1.3.0-29-x86_64.pkg.tar.xz                   08-Jul-2018 23:58             8762972
idris-1.3.0-29-x86_64.pkg.tar.xz.sig               08-Jul-2018 23:58                 566
idris-1.3.0-3-x86_64.pkg.tar.xz                    29-May-2018 05:16             8771124
idris-1.3.0-3-x86_64.pkg.tar.xz.sig                29-May-2018 05:16                 566
idris-1.3.0-30-x86_64.pkg.tar.xz                   09-Jul-2018 15:08             8761684
idris-1.3.0-30-x86_64.pkg.tar.xz.sig               09-Jul-2018 15:08                 566
idris-1.3.0-31-x86_64.pkg.tar.xz                   10-Jul-2018 23:55             8763448
idris-1.3.0-31-x86_64.pkg.tar.xz.sig               10-Jul-2018 23:55                 566
idris-1.3.0-32-x86_64.pkg.tar.xz                   12-Jul-2018 09:16             8760580
idris-1.3.0-32-x86_64.pkg.tar.xz.sig               12-Jul-2018 09:16                 566
idris-1.3.0-33-x86_64.pkg.tar.xz                   12-Jul-2018 20:36             8761244
idris-1.3.0-33-x86_64.pkg.tar.xz.sig               12-Jul-2018 20:36                 566
idris-1.3.0-34-x86_64.pkg.tar.xz                   13-Jul-2018 09:25             8761588
idris-1.3.0-34-x86_64.pkg.tar.xz.sig               13-Jul-2018 09:25                 566
idris-1.3.0-36-x86_64.pkg.tar.xz                   13-Jul-2018 17:39             8760828
idris-1.3.0-36-x86_64.pkg.tar.xz.sig               13-Jul-2018 17:39                 566
idris-1.3.0-37-x86_64.pkg.tar.xz                   14-Jul-2018 14:55             8759476
idris-1.3.0-37-x86_64.pkg.tar.xz.sig               14-Jul-2018 14:55                 566
idris-1.3.0-38-x86_64.pkg.tar.xz                   17-Jul-2018 05:55             8760812
idris-1.3.0-38-x86_64.pkg.tar.xz.sig               17-Jul-2018 05:55                 566
idris-1.3.0-39-x86_64.pkg.tar.xz                   17-Jul-2018 18:03             8757144
idris-1.3.0-39-x86_64.pkg.tar.xz.sig               17-Jul-2018 18:03                 566
idris-1.3.0-4-x86_64.pkg.tar.xz                    30-May-2018 03:36             8759988
idris-1.3.0-4-x86_64.pkg.tar.xz.sig                30-May-2018 03:36                 566
idris-1.3.0-40-x86_64.pkg.tar.xz                   18-Jul-2018 15:08             8762112
idris-1.3.0-40-x86_64.pkg.tar.xz.sig               18-Jul-2018 15:08                 566
idris-1.3.0-5-x86_64.pkg.tar.xz                    31-May-2018 06:38             8767524
idris-1.3.0-5-x86_64.pkg.tar.xz.sig                31-May-2018 06:38                 566
idris-1.3.0-6-x86_64.pkg.tar.xz                    31-May-2018 09:45             8766336
idris-1.3.0-6-x86_64.pkg.tar.xz.sig                31-May-2018 09:45                 566
idris-1.3.0-7-x86_64.pkg.tar.xz                    01-Jun-2018 16:25             8771516
idris-1.3.0-7-x86_64.pkg.tar.xz.sig                01-Jun-2018 16:25                 566
idris-1.3.0-8-x86_64.pkg.tar.xz                    02-Jun-2018 18:56             8770804
idris-1.3.0-8-x86_64.pkg.tar.xz.sig                02-Jun-2018 18:56                 566
idris-1.3.0-9-x86_64.pkg.tar.xz                    03-Jun-2018 11:40             8772740
idris-1.3.0-9-x86_64.pkg.tar.xz.sig                03-Jun-2018 11:40                 566