Index of /packages/i/idris

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]idris-0.99-12-i686.p..>2019-05-16 14:54 23M 
[   ]idris-0.99-12-i686.p..>2019-05-16 14:54 566  
[   ]idris-0.99-13-i686.p..>2019-05-16 18:40 23M 
[   ]idris-0.99-13-i686.p..>2019-05-16 18:40 566  
[   ]idris-0.99-14-i686.p..>2019-05-16 19:32 23M 
[   ]idris-0.99-14-i686.p..>2019-05-16 19:32 566  
[   ]idris-0.99-15-i686.p..>2019-05-16 20:13 23M 
[   ]idris-0.99-15-i686.p..>2019-05-16 20:13 566  
[   ]idris-0.99-16-i686.p..>2019-05-16 20:28 23M 
[   ]idris-0.99-16-i686.p..>2019-05-16 20:28 566  
[   ]idris-0.99-17-i686.p..>2019-05-16 22:11 23M 
[   ]idris-0.99-17-i686.p..>2019-05-16 22:11 565  
[   ]idris-0.99-18-i686.p..>2019-05-16 23:26 23M 
[   ]idris-0.99-18-i686.p..>2019-05-16 23:26 566  
[   ]idris-0.99-19-i686.p..>2019-05-16 23:22 23M 
[   ]idris-0.99-19-i686.p..>2019-05-16 23:22 566  
[   ]idris-0.99-20-i686.p..>2019-05-17 01:40 23M 
[   ]idris-0.99-20-i686.p..>2019-05-17 01:40 566  
[   ]idris-0.99-21-i686.p..>2019-05-17 02:00 23M 
[   ]idris-0.99-21-i686.p..>2019-05-17 02:00 566  
[   ]idris-0.99-22-i686.p..>2019-05-17 02:19 23M 
[   ]idris-0.99-22-i686.p..>2019-05-17 02:19 566  
[   ]idris-0.99-23-i686.p..>2019-05-17 02:15 23M 
[   ]idris-0.99-23-i686.p..>2019-05-17 02:15 566  
[   ]idris-0.99-24-i686.p..>2019-05-17 02:38 23M 
[   ]idris-0.99-24-i686.p..>2019-05-17 02:38 566  
[   ]idris-0.99-25-i686.p..>2019-05-17 03:33 23M 
[   ]idris-0.99-25-i686.p..>2019-05-17 03:33 566  
[   ]idris-0.99-26-i686.p..>2019-05-17 03:47 23M 
[   ]idris-0.99-26-i686.p..>2019-05-17 03:47 566  
[   ]idris-0.99-27-i686.p..>2019-05-17 04:11 23M 
[   ]idris-0.99-27-i686.p..>2019-05-17 04:11 566  
[   ]idris-0.99-29-i686.p..>2019-05-17 04:55 23M 
[   ]idris-0.99-29-i686.p..>2019-05-17 04:55 566  
[   ]idris-0.99-30-i686.p..>2019-05-17 07:38 23M 
[   ]idris-0.99-30-i686.p..>2019-05-17 07:38 566  
[   ]idris-0.99.1-1-i686...>2019-05-17 09:30 24M 
[   ]idris-0.99.1-1-i686...>2019-05-17 09:30 566  
[   ]idris-0.99.1-2-i686...>2019-05-17 09:44 24M 
[   ]idris-0.99.1-2-i686...>2019-05-17 09:44 566  
[   ]idris-0.99.1-3-i686...>2019-05-17 10:36 24M 
[   ]idris-0.99.1-3-i686...>2019-05-17 10:36 566  
[   ]idris-0.99.1-4-i686...>2019-05-17 11:23 24M 
[   ]idris-0.99.1-4-i686...>2019-05-17 11:23 566  
[   ]idris-0.99.1-5-i686...>2019-05-17 12:02 24M 
[   ]idris-0.99.1-5-i686...>2019-05-17 12:02 566  
[   ]idris-0.99.1-6-i686...>2019-05-17 12:13 24M 
[   ]idris-0.99.1-6-i686...>2019-05-17 12:13 566  
[   ]idris-0.99.2-1-i686...>2019-05-17 13:14 24M 
[   ]idris-0.99.2-1-i686...>2019-05-17 13:14 566  
[   ]idris-0.99.2-2-i686...>2019-05-17 13:25 24M 
[   ]idris-0.99.2-2-i686...>2019-05-17 13:25 566  
[   ]idris-1.0-1-i686.pkg..>2019-05-17 14:47 24M 
[   ]idris-1.0-1-i686.pkg..>2019-05-17 14:47 566  
[   ]idris-1.0-2-i686.pkg..>2019-05-17 15:54 24M 
[   ]idris-1.0-2-i686.pkg..>2019-05-17 15:54 566  
[   ]idris-1.0-3-i686.pkg..>2019-05-17 16:06 24M 
[   ]idris-1.0-3-i686.pkg..>2019-05-17 16:06 566  
[   ]idris-1.0-4-i686.pkg..>2019-05-17 16:17 24M 
[   ]idris-1.0-4-i686.pkg..>2019-05-17 16:17 566  
[   ]idris-1.0-5-i686.pkg..>2019-05-17 16:13 24M 
[   ]idris-1.0-5-i686.pkg..>2019-05-17 16:13 566  
[   ]idris-1.0-6-i686.pkg..>2019-05-17 16:26 24M 
[   ]idris-1.0-6-i686.pkg..>2019-05-17 16:26 566  
[   ]idris-1.0-7-i686.pkg..>2019-05-17 16:36 24M 
[   ]idris-1.0-7-i686.pkg..>2019-05-17 16:36 566  
[   ]idris-1.0-8-i686.pkg..>2019-05-17 16:45 24M 
[   ]idris-1.0-8-i686.pkg..>2019-05-17 16:45 566  
[   ]idris-1.0-9-i686.pkg..>2019-05-17 17:22 24M 
[   ]idris-1.0-9-i686.pkg..>2019-05-17 17:22 566  
[   ]idris-1.0-10-i686.pk..>2019-05-17 17:19 24M 
[   ]idris-1.0-10-i686.pk..>2019-05-17 17:19 566  
[   ]idris-1.0-11-i686.pk..>2019-05-17 17:39 24M 
[   ]idris-1.0-11-i686.pk..>2019-05-17 17:39 566  
[   ]idris-1.0-12-i686.pk..>2019-05-17 17:59 24M 
[   ]idris-1.0-12-i686.pk..>2019-05-17 17:59 566  
[   ]idris-1.0-13-i686.pk..>2019-05-17 18:36 24M 
[   ]idris-1.0-13-i686.pk..>2019-05-17 18:36 566  
[   ]idris-1.0-14-i686.pk..>2019-05-17 18:33 24M 
[   ]idris-1.0-14-i686.pk..>2019-05-17 18:33 566  
[   ]idris-1.0-15-i686.pk..>2019-05-17 18:56 24M 
[   ]idris-1.0-15-i686.pk..>2019-05-17 18:56 566  
[   ]idris-1.0-16-i686.pk..>2019-05-17 19:52 24M 
[   ]idris-1.0-16-i686.pk..>2019-05-17 19:52 566  
[   ]idris-1.0-17-i686.pk..>2019-05-17 20:08 24M 
[   ]idris-1.0-17-i686.pk..>2019-05-17 20:08 566  
[   ]idris-1.0-18-i686.pk..>2019-05-17 20:47 24M 
[   ]idris-1.0-18-i686.pk..>2019-05-17 20:47 566  
[   ]idris-1.0-19-i686.pk..>2019-05-17 21:59 24M 
[   ]idris-1.0-19-i686.pk..>2019-05-17 21:59 565  
[   ]idris-1.0-20-i686.pk..>2019-05-17 23:04 24M 
[   ]idris-1.0-20-i686.pk..>2019-05-17 23:04 566  
[   ]idris-1.0-21-i686.pk..>2019-05-17 23:34 24M 
[   ]idris-1.0-21-i686.pk..>2019-05-17 23:34 566  
[   ]idris-1.0-22-i686.pk..>2019-05-17 23:56 24M 
[   ]idris-1.0-22-i686.pk..>2019-05-17 23:56 566  
[   ]idris-1.0-23-i686.pk..>2019-05-18 00:05 24M 
[   ]idris-1.0-23-i686.pk..>2019-05-18 00:05 566  
[   ]idris-1.0-24-i686.pk..>2019-05-18 00:13 24M 
[   ]idris-1.0-24-i686.pk..>2019-05-18 00:13 566  
[   ]idris-1.0-25-i686.pk..>2019-05-18 00:27 24M 
[   ]idris-1.0-25-i686.pk..>2019-05-18 00:27 566  
[   ]idris-1.0-26-i686.pk..>2019-05-18 00:44 24M 
[   ]idris-1.0-26-i686.pk..>2019-05-18 00:44 566  
[   ]idris-1.0-27-i686.pk..>2019-05-18 00:54 24M 
[   ]idris-1.0-27-i686.pk..>2019-05-18 00:54 566  
[   ]idris-1.0-28-i686.pk..>2019-05-18 01:02 24M 
[   ]idris-1.0-28-i686.pk..>2019-05-18 01:02 566  
[   ]idris-1.0-29-i686.pk..>2019-05-18 01:00 24M 
[   ]idris-1.0-29-i686.pk..>2019-05-18 01:00 566  
[   ]idris-1.0-30-i686.pk..>2019-05-18 01:12 24M 
[   ]idris-1.0-30-i686.pk..>2019-05-18 01:12 566  
[   ]idris-1.0-31-i686.pk..>2019-05-18 01:10 24M 
[   ]idris-1.0-31-i686.pk..>2019-05-18 01:10 566  
[   ]idris-1.0-32-i686.pk..>2019-05-18 01:34 24M 
[   ]idris-1.0-32-i686.pk..>2019-05-18 01:34 566  
[   ]idris-1.0-33-i686.pk..>2019-05-18 02:26 24M 
[   ]idris-1.0-33-i686.pk..>2019-05-18 02:26 566  
[   ]idris-1.0-34-i686.pk..>2019-05-18 02:33 24M 
[   ]idris-1.0-34-i686.pk..>2019-05-18 02:33 566  
[   ]idris-1.0-35-i686.pk..>2019-05-18 03:43 8.3M 
[   ]idris-1.0-35-i686.pk..>2019-05-18 03:43 566  
[   ]idris-1.0-36-i686.pk..>2019-05-18 04:01 8.3M 
[   ]idris-1.0-36-i686.pk..>2019-05-18 04:01 566  
[   ]idris-1.0-37-i686.pk..>2019-05-18 04:09 8.3M 
[   ]idris-1.0-37-i686.pk..>2019-05-18 04:09 566  
[   ]idris-1.0-38-i686.pk..>2019-05-18 04:21 8.3M 
[   ]idris-1.0-38-i686.pk..>2019-05-18 04:21 566  
[   ]idris-1.0-39-i686.pk..>2019-05-18 04:34 8.3M 
[   ]idris-1.0-39-i686.pk..>2019-05-18 04:34 566  
[   ]idris-1.0-40-i686.pk..>2019-05-18 04:54 8.3M 
[   ]idris-1.0-40-i686.pk..>2019-05-18 04:54 566  
[   ]idris-1.0-41-i686.pk..>2019-05-18 05:26 8.3M 
[   ]idris-1.0-41-i686.pk..>2019-05-18 05:26 566  
[   ]idris-1.0-42-i686.pk..>2019-05-18 06:06 8.3M 
[   ]idris-1.0-42-i686.pk..>2019-05-18 06:06 566  
[   ]idris-1.0-43-i686.pk..>2019-05-18 06:16 8.3M 
[   ]idris-1.0-43-i686.pk..>2019-05-18 06:16 566  
[   ]idris-1.0-44-i686.pk..>2019-05-18 06:36 8.3M 
[   ]idris-1.0-44-i686.pk..>2019-05-18 06:36 566  
[   ]idris-1.0-45-i686.pk..>2019-05-18 06:50 8.3M 
[   ]idris-1.0-45-i686.pk..>2019-05-18 06:50 566  
[   ]idris-1.0-46-i686.pk..>2019-05-18 08:25 8.3M 
[   ]idris-1.0-46-i686.pk..>2019-05-18 08:25 566  
[   ]idris-1.0-47-i686.pk..>2019-05-18 08:43 8.3M 
[   ]idris-1.0-47-i686.pk..>2019-05-18 08:43 566  
[   ]idris-1.0-49-i686.pk..>2019-05-18 08:55 8.3M 
[   ]idris-1.0-49-i686.pk..>2019-05-18 08:55 566  
[   ]idris-1.0-50-i686.pk..>2019-05-18 09:00 8.3M 
[   ]idris-1.0-50-i686.pk..>2019-05-18 09:00 566  
[   ]idris-1.0-51-i686.pk..>2019-05-18 09:04 8.3M 
[   ]idris-1.0-51-i686.pk..>2019-05-18 09:04 566  
[   ]idris-1.1.0-2-i686.p..>2019-05-18 09:14 8.5M 
[   ]idris-1.1.0-2-i686.p..>2019-05-18 09:14 566  
[   ]idris-1.1.0-4-i686.p..>2019-05-18 09:23 8.5M 
[   ]idris-1.1.0-4-i686.p..>2019-05-18 09:23 566  
[   ]idris-1.1.0-5-i686.p..>2019-05-18 09:20 8.5M 
[   ]idris-1.1.0-5-i686.p..>2019-05-18 09:20 566  
[   ]idris-1.1.0-7-i686.p..>2019-05-18 09:41 8.5M 
[   ]idris-1.1.0-7-i686.p..>2019-05-18 09:41 566  
[   ]idris-1.1.0-9-i686.p..>2019-05-18 09:47 8.5M 
[   ]idris-1.1.0-9-i686.p..>2019-05-18 09:47 566  
[   ]idris-1.1.0-10-i686...>2019-05-18 10:10 8.5M 
[   ]idris-1.1.0-10-i686...>2019-05-18 10:10 565  
[   ]idris-1.1.0-11-i686...>2019-05-18 10:16 8.5M 
[   ]idris-1.1.0-11-i686...>2019-05-18 10:16 566  
[   ]idris-1.1.0-12-i686...>2019-05-18 10:28 8.5M 
[   ]idris-1.1.0-12-i686...>2019-05-18 10:28 566  
[   ]idris-1.1.1-1-i686.p..>2019-05-18 10:57 7.8M 
[   ]idris-1.1.1-1-i686.p..>2019-05-18 10:57 566  
[   ]idris-1.1.1-2-i686.p..>2019-05-18 11:06 7.8M 
[   ]idris-1.1.1-2-i686.p..>2019-05-18 11:06 566  
[   ]idris-1.1.1-3-i686.p..>2019-05-18 11:26 7.8M 
[   ]idris-1.1.1-3-i686.p..>2019-05-18 11:26 566  
[   ]idris-1.1.1-4-i686.p..>2019-05-18 12:32 7.8M 
[   ]idris-1.1.1-4-i686.p..>2019-05-18 12:32 566  
[   ]idris-1.1.1-5-i686.p..>2019-05-18 13:06 7.8M 
[   ]idris-1.1.1-5-i686.p..>2019-05-18 13:06 566  
[   ]idris-1.1.1-6-i686.p..>2019-05-18 14:42 7.7M 
[   ]idris-1.1.1-6-i686.p..>2019-05-18 14:42 566  
[   ]idris-1.1.1-7-i686.p..>2019-05-18 15:44 7.7M 
[   ]idris-1.1.1-7-i686.p..>2019-05-18 15:44 566  
[   ]idris-1.1.1-8-i686.p..>2019-05-16 06:22 7.7M 
[   ]idris-1.1.1-8-i686.p..>2019-05-16 06:22 566  
[   ]idris-1.1.1-9-i686.p..>2019-05-16 01:53 7.7M 
[   ]idris-1.1.1-9-i686.p..>2019-05-16 01:53 566  
[   ]idris-1.2.0-12.0-i68..>2019-05-15 07:02 8.3M 
[   ]idris-1.2.0-12.0-i68..>2019-05-15 07:02 566  
[   ]idris-1.2.0-13.0-i68..>2019-05-15 07:02 8.3M 
[   ]idris-1.2.0-13.0-i68..>2019-05-15 07:02 310  
[   ]idris-1.2.0-14.0-i68..>2019-05-15 07:02 8.3M 
[   ]idris-1.2.0-14.0-i68..>2019-05-15 07:02 566  
[   ]idris-1.2.0-15.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-15.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-20.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-20.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-23.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-23.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-24.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-24.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-25.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-25.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-26.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-26.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-27.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-27.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-30.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-30.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-31.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-31.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-32.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-32.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-33.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-33.0-i68..>2019-05-15 07:03 566  
[   ]idris-1.2.0-35.0-i68..>2019-05-15 07:03 8.3M 
[   ]idris-1.2.0-35.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-36.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-36.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-38.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-38.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-39.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-39.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-41.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-41.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-42.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-42.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-44.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-44.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-45.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-45.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-46.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-46.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-47.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-47.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-48.0-i68..>2019-05-15 07:04 8.3M 
[   ]idris-1.2.0-48.0-i68..>2019-05-15 07:04 566  
[   ]idris-1.2.0-51.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-51.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-52.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-52.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-55.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-55.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-56.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-56.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-57.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-57.0-i68..>2019-05-15 07:05 310  
[   ]idris-1.2.0-59.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-59.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-60.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-60.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-61.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-61.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.2.0-68.0-i68..>2019-05-15 07:05 8.3M 
[   ]idris-1.2.0-68.0-i68..>2019-05-15 07:05 566  
[   ]idris-1.3.0-6.0-i686..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-6.0-i686..>2019-05-15 07:06 566  
[   ]idris-1.3.0-13.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-13.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-13.1-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-13.1-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-14.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-14.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-15.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-15.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-16.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-16.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-17.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-17.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-18.0-i68..>2019-05-15 17:43 8.3M 
[   ]idris-1.3.0-18.0-i68..>2019-05-15 17:43 566  
[   ]idris-1.3.0-19.0-i68..>2019-05-15 07:06 8.3M 
[   ]idris-1.3.0-19.0-i68..>2019-05-15 07:06 566  
[   ]idris-1.3.0-20.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-20.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-22.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-22.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-23.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-23.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-24.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-24.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-26.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-26.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-28.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-28.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-30.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-30.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-37.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-37.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-38.0-i68..>2019-05-15 07:07 8.3M 
[   ]idris-1.3.0-38.0-i68..>2019-05-15 07:07 566  
[   ]idris-1.3.0-40.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-40.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-41.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-41.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-42.0-i68..>2019-05-15 04:09 8.3M 
[   ]idris-1.3.0-42.0-i68..>2019-05-15 04:09 566  
[   ]idris-1.3.0-43.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-43.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-46.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-46.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-47.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-47.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-48.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-48.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-49.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-49.0-i68..>2019-05-15 07:08 310  
[   ]idris-1.3.0-50.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-50.0-i68..>2019-05-15 07:08 310  
[   ]idris-1.3.0-51.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-51.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-52.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-52.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-53.0-i68..>2019-05-15 02:46 8.3M 
[   ]idris-1.3.0-53.0-i68..>2019-05-15 02:46 566  
[   ]idris-1.3.0-54.0-i68..>2019-05-15 07:08 8.3M 
[   ]idris-1.3.0-54.0-i68..>2019-05-15 07:08 566  
[   ]idris-1.3.0-55.0-i68..>2019-05-15 06:05 8.3M 
[   ]idris-1.3.0-55.0-i68..>2019-05-15 06:05 566  
[   ]idris-1.3.1-1.0-i686..>2019-05-15 05:07 8.5M 
[   ]idris-1.3.1-1.0-i686..>2019-05-15 05:07 566  
[   ]idris-1.3.1-2.0-i686..>2019-05-15 05:01 8.5M 
[   ]idris-1.3.1-2.0-i686..>2019-05-15 05:01 566  
[   ]idris-1.3.1-3.0-i686..>2019-05-15 03:05 8.5M 
[   ]idris-1.3.1-3.0-i686..>2019-05-15 03:05 566  
[   ]idris-1.3.1-5.0-i686..>2019-05-14 22:57 8.5M 
[   ]idris-1.3.1-5.0-i686..>2019-05-14 22:57 566  
[   ]idris-1.3.1-23.0-i68..>2018-12-31 01:31 8.5M 
[   ]idris-1.3.1-23.0-i68..>2018-12-31 01:31 566  
[   ]idris-1.3.1-52.0-i68..>2019-04-17 11:33 8.4M 
[   ]idris-1.3.1-52.0-i68..>2019-04-17 11:33 310  
[   ]idris-1.3.1-52.0-pen..>2019-04-17 01:23 8.4M 
[   ]idris-1.3.1-52.0-pen..>2019-04-17 01:23 566  
[   ]idris-1.3.1-72.0-pen..>2019-05-11 23:01 8.5M 
[   ]idris-1.3.1-72.0-pen..>2019-05-11 23:01 566  
[   ]idris-1.3.1-78.0-pen..>2019-05-29 23:07 8.5M 
[   ]idris-1.3.1-78.0-pen..>2019-05-29 23:07 310  
[   ]idris-1.3.1-94.0-pen..>2019-06-29 18:57 8.4M 
[   ]idris-1.3.1-94.0-pen..>2019-06-29 18:57 310  
[   ]idris-1.3.1-97.0-pen..>2019-07-17 02:42 8.4M 
[   ]idris-1.3.1-97.0-pen..>2019-07-17 02:42 310  
[   ]idris-1.3.1-99.0-pen..>2019-07-21 05:39 8.4M 
[   ]idris-1.3.1-99.0-pen..>2019-07-21 05:39 566  
[   ]idris-1.3.1-100.0-pe..>2019-07-21 14:45 8.4M 
[   ]idris-1.3.1-100.0-pe..>2019-07-21 14:45 310  
[   ]idris-1.3.2-2.0-pent..>2019-08-03 22:33 8.5M 
[   ]idris-1.3.2-2.0-pent..>2019-08-03 22:33 310  
[   ]idris-1.3.2-3.0-pent..>2019-08-05 03:15 8.5M 
[   ]idris-1.3.2-3.0-pent..>2019-08-05 03:15 310  
[   ]idris-1.3.2-4.0-i686..>2019-08-09 02:40 8.5M 
[   ]idris-1.3.2-4.0-i686..>2019-08-09 02:40 310  
[   ]idris-1.3.2-4.0-pent..>2019-08-07 02:41 8.5M 
[   ]idris-1.3.2-4.0-pent..>2019-08-07 02:41 566  
[   ]idris-1.3.2-5.0-i686..>2019-08-11 13:26 8.5M 
[   ]idris-1.3.2-5.0-i686..>2019-08-11 13:26 310  
[   ]idris-1.3.2-5.0-pent..>2019-08-11 13:30 8.5M 
[   ]idris-1.3.2-5.0-pent..>2019-08-11 13:30 566  
[   ]idris-1.3.2-6.0-i686..>2019-08-14 10:28 8.5M 
[   ]idris-1.3.2-6.0-i686..>2019-08-14 10:28 566  
[   ]idris-1.3.2-6.0-pent..>2019-08-14 10:37 8.5M 
[   ]idris-1.3.2-6.0-pent..>2019-08-14 10:37 566  
[   ]idris-1.3.2-7.0-i686..>2019-08-26 14:00 8.5M 
[   ]idris-1.3.2-7.0-i686..>2019-08-26 14:00 310  
[   ]idris-1.3.2-7.0-pent..>2019-08-26 14:14 8.5M 
[   ]idris-1.3.2-7.0-pent..>2019-08-26 14:14 566  
[   ]idris-1.3.2-10.0-i68..>2019-08-29 18:31 8.5M 
[   ]idris-1.3.2-10.0-i68..>2019-08-29 18:31 310  
[   ]idris-1.3.2-11.0-i68..>2019-08-29 22:51 8.5M 
[   ]idris-1.3.2-11.0-i68..>2019-08-29 22:51 310  
[   ]idris-1.3.2-11.0-pen..>2019-08-30 10:56 8.5M 
[   ]idris-1.3.2-11.0-pen..>2019-08-30 10:56 310  
[   ]idris-1.3.2-12.0-i68..>2019-08-31 16:17 8.5M 
[   ]idris-1.3.2-12.0-i68..>2019-08-31 16:17 566  
[   ]idris-1.3.2-12.0-pen..>2019-08-31 16:36 8.5M 
[   ]idris-1.3.2-12.0-pen..>2019-08-31 16:36 310  
[   ]idris-1.3.2-13.0-i68..>2019-09-01 21:07 8.5M 
[   ]idris-1.3.2-13.0-i68..>2019-09-01 21:07 310  
[   ]idris-1.3.2-13.0-pen..>2019-09-01 21:09 8.5M 
[   ]idris-1.3.2-13.0-pen..>2019-09-01 21:09 310  
[   ]idris-1.3.2-14.0-i68..>2019-09-04 22:44 8.5M 
[   ]idris-1.3.2-14.0-i68..>2019-09-04 22:44 310  
[   ]idris-1.3.2-14.0-pen..>2019-09-04 23:35 8.5M 
[   ]idris-1.3.2-14.0-pen..>2019-09-04 23:35 566  
[   ]idris-1.3.2-15.0-i68..>2019-09-12 23:32 8.5M 
[   ]idris-1.3.2-15.0-i68..>2019-09-12 23:32 310  
[   ]idris-1.3.2-15.0-pen..>2019-09-12 23:33 8.5M 
[   ]idris-1.3.2-15.0-pen..>2019-09-12 23:33 310  
[   ]idris-1.3.2-16.0-i68..>2019-09-20 00:11 8.5M 
[   ]idris-1.3.2-16.0-i68..>2019-09-20 00:11 566  
[   ]idris-1.3.2-16.0-pen..>2019-09-20 00:11 8.5M 
[   ]idris-1.3.2-16.0-pen..>2019-09-20 00:11 310  
[   ]idris-1.3.2-17.0-i68..>2019-10-07 06:17 8.5M 
[   ]idris-1.3.2-17.0-i68..>2019-10-07 06:17 310  
[   ]idris-1.3.2-17.0-pen..>2019-10-07 06:29 8.5M 
[   ]idris-1.3.2-17.0-pen..>2019-10-07 06:29 566  
[   ]idris-1.3.2-18.0-i68..>2019-10-08 03:26 8.5M 
[   ]idris-1.3.2-18.0-i68..>2019-10-08 03:26 310  
[   ]idris-1.3.2-18.0-pen..>2019-10-08 01:06 8.5M 
[   ]idris-1.3.2-18.0-pen..>2019-10-08 01:06 310  
[   ]idris-1.3.2-19.0-i68..>2019-10-11 14:12 8.5M 
[   ]idris-1.3.2-19.0-i68..>2019-10-11 14:12 566  
[   ]idris-1.3.2-19.0-pen..>2019-10-11 14:07 8.5M 
[   ]idris-1.3.2-19.0-pen..>2019-10-11 14:07 566  
[   ]idris-1.3.2-20.0-i68..>2019-10-16 04:40 8.5M 
[   ]idris-1.3.2-20.0-i68..>2019-10-16 04:40 566  
[   ]idris-1.3.2-20.0-pen..>2019-10-16 04:46 8.5M 
[   ]idris-1.3.2-20.0-pen..>2019-10-16 04:46 566  
[   ]idris-1.3.2-21.0-i68..>2019-10-18 23:24 8.5M 
[   ]idris-1.3.2-21.0-i68..>2019-10-18 23:24 310  
[   ]idris-1.3.2-21.0-pen..>2019-10-18 22:27 8.5M 
[   ]idris-1.3.2-21.0-pen..>2019-10-18 22:27 566  
[   ]idris-1.3.2-22.0-i68..>2019-10-19 13:38 8.5M 
[   ]idris-1.3.2-22.0-i68..>2019-10-19 13:38 310  
[   ]idris-1.3.2-22.0-pen..>2019-10-19 13:38 8.5M 
[   ]idris-1.3.2-22.0-pen..>2019-10-19 13:38 310  
[   ]idris-1.3.2-23.0-i68..>2019-10-21 00:02 8.5M 
[   ]idris-1.3.2-23.0-i68..>2019-10-21 00:02 566  
[   ]idris-1.3.2-23.0-pen..>2019-10-20 22:34 8.5M 
[   ]idris-1.3.2-23.0-pen..>2019-10-20 22:34 566  
[   ]idris-1.3.2-24.0-i68..>2019-10-21 03:33 8.5M 
[   ]idris-1.3.2-24.0-i68..>2019-10-21 03:33 566  
[   ]idris-1.3.2-24.0-pen..>2019-10-21 02:11 8.5M 
[   ]idris-1.3.2-24.0-pen..>2019-10-21 02:11 566  
[   ]idris-1.3.2-25.0-pen..>2019-11-16 23:54 8.5M 
[   ]idris-1.3.2-25.0-pen..>2019-11-16 23:54 310  
[   ]idris-1.3.2-26.0-i68..>2019-11-18 01:22 8.5M 
[   ]idris-1.3.2-26.0-i68..>2019-11-18 01:22 566  
[   ]idris-1.3.2-26.0-pen..>2019-11-18 01:22 8.5M 
[   ]idris-1.3.2-26.0-pen..>2019-11-18 01:22 310  
[   ]idris-1.3.2-27.0-i68..>2019-11-21 09:53 8.5M 
[   ]idris-1.3.2-27.0-i68..>2019-11-21 09:53 310  
[   ]idris-1.3.2-27.0-pen..>2019-11-21 14:57 8.5M 
[   ]idris-1.3.2-27.0-pen..>2019-11-21 14:57 310  
[   ]idris-1.3.2-28.0-i68..>2019-11-23 15:59 8.5M 
[   ]idris-1.3.2-28.0-i68..>2019-11-23 15:59 566  
[   ]idris-1.3.2-28.0-pen..>2019-11-22 18:05 8.5M 
[   ]idris-1.3.2-28.0-pen..>2019-11-22 18:05 566  
[   ]idris-1.3.2-29.0-i68..>2019-11-24 17:27 8.5M 
[   ]idris-1.3.2-29.0-i68..>2019-11-24 17:27 310  
[   ]idris-1.3.2-29.0-pen..>2019-11-24 17:29 8.5M 
[   ]idris-1.3.2-29.0-pen..>2019-11-24 17:29 310  
[   ]idris-1.3.2-30.0-i68..>2019-11-25 20:19 8.5M 
[   ]idris-1.3.2-30.0-i68..>2019-11-25 20:19 310  
[   ]idris-1.3.2-30.0-pen..>2019-11-25 20:20 8.5M 
[   ]idris-1.3.2-30.0-pen..>2019-11-25 20:20 310  
[   ]idris-1.3.2-31.0-i68..>2019-11-27 00:47 8.5M 
[   ]idris-1.3.2-31.0-i68..>2019-11-27 00:47 310  
[   ]idris-1.3.2-31.0-pen..>2019-11-27 00:46 8.5M 
[   ]idris-1.3.2-31.0-pen..>2019-11-27 00:46 566  
[   ]idris-1.3.2-32.0-i68..>2019-11-27 07:42 8.5M 
[   ]idris-1.3.2-32.0-i68..>2019-11-27 07:42 566  
[   ]idris-1.3.2-32.0-pen..>2019-11-27 07:39 8.5M 
[   ]idris-1.3.2-32.0-pen..>2019-11-27 07:39 310  
[   ]idris-1.3.2-33.0-i68..>2019-11-27 17:32 8.5M 
[   ]idris-1.3.2-33.0-i68..>2019-11-27 17:32 566  
[   ]idris-1.3.2-33.0-pen..>2019-11-27 17:24 8.5M 
[   ]idris-1.3.2-33.0-pen..>2019-11-27 17:24 310  
[   ]idris-1.3.2-34.0-i68..>2019-12-04 15:32 8.5M 
[   ]idris-1.3.2-34.0-i68..>2019-12-04 15:32 310  
[   ]idris-1.3.2-34.0-pen..>2019-12-04 15:34 8.5M 
[   ]idris-1.3.2-34.0-pen..>2019-12-04 15:34 310  
[   ]idris-1.3.2-35.0-i68..>2019-12-07 12:43 8.5M 
[   ]idris-1.3.2-35.0-i68..>2019-12-07 12:43 310  
[   ]idris-1.3.2-35.0-pen..>2019-12-07 12:44 8.5M 
[   ]idris-1.3.2-35.0-pen..>2019-12-07 12:44 310  
[   ]idris-1.3.2-36.0-i68..>2019-12-11 16:35 8.5M 
[   ]idris-1.3.2-36.0-i68..>2019-12-11 16:35 310  
[   ]idris-1.3.2-36.0-pen..>2019-12-11 16:35 8.5M 
[   ]idris-1.3.2-36.0-pen..>2019-12-11 16:35 310  
[   ]idris-1.3.2-40.0-i68..>2019-12-29 12:48 8.5M 
[   ]idris-1.3.2-40.0-i68..>2019-12-29 12:48 310  
[   ]idris-1.3.2-40.0-pen..>2019-12-29 20:44 8.5M 
[   ]idris-1.3.2-40.0-pen..>2019-12-29 20:44 310  
[   ]idris-1.3.2-41.0-i68..>2019-12-30 22:16 8.5M 
[   ]idris-1.3.2-41.0-i68..>2019-12-30 22:16 310  
[   ]idris-1.3.2-41.0-pen..>2019-12-30 22:17 8.5M 
[   ]idris-1.3.2-41.0-pen..>2019-12-30 22:17 310  
[   ]idris-1.3.2-42.0-pen..>2019-12-31 23:46 8.5M 
[   ]idris-1.3.2-42.0-pen..>2019-12-31 23:46 310  
[   ]idris-1.3.2-43.0-i68..>2020-01-03 03:21 8.5M 
[   ]idris-1.3.2-43.0-i68..>2020-01-03 03:21 310  
[   ]idris-1.3.2-43.0-pen..>2020-01-01 11:50 8.5M 
[   ]idris-1.3.2-43.0-pen..>2020-01-01 11:50 310  
[   ]idris-1.3.2-46.0-i68..>2020-01-07 04:35 8.8M 
[   ]idris-1.3.2-46.0-i68..>2020-01-07 04:35 310  
[   ]idris-1.3.2-46.0-pen..>2020-01-06 18:02 8.8M 
[   ]idris-1.3.2-46.0-pen..>2020-01-06 18:02 566  
[   ]idris-1.3.2-47.0-i68..>2020-01-07 11:07 8.8M 
[   ]idris-1.3.2-47.0-i68..>2020-01-07 11:07 310  
[   ]idris-1.3.2-47.0-pen..>2020-01-07 11:06 8.8M 
[   ]idris-1.3.2-47.0-pen..>2020-01-07 11:06 310  
[   ]idris-1.3.2-48.0-i68..>2020-01-08 17:21 8.8M 
[   ]idris-1.3.2-48.0-i68..>2020-01-08 17:21 310  
[   ]idris-1.3.2-48.0-pen..>2020-01-08 17:23 8.8M 
[   ]idris-1.3.2-48.0-pen..>2020-01-08 17:23 310  
[   ]idris-1.3.2-66.0-i68..>2020-02-19 13:14 8.9M 
[   ]idris-1.3.2-66.0-i68..>2020-02-19 13:14 310  
[   ]idris-1.3.2-69.0-i68..>2020-02-22 15:19 8.9M 
[   ]idris-1.3.2-69.0-i68..>2020-02-22 15:19 310  
[   ]idris-1.3.2-69.0-pen..>2020-02-22 15:19 8.9M 
[   ]idris-1.3.2-69.0-pen..>2020-02-22 15:19 310  
[   ]idris-1.3.2-70.0-i68..>2020-02-22 18:20 8.9M 
[   ]idris-1.3.2-70.0-i68..>2020-02-22 18:20 310  
[   ]idris-1.3.2-70.0-pen..>2020-02-22 18:21 8.9M 
[   ]idris-1.3.2-70.0-pen..>2020-02-22 18:21 310  
[   ]idris-1.3.2-71.0-i68..>2020-02-23 01:32 8.9M 
[   ]idris-1.3.2-71.0-i68..>2020-02-23 01:32 566  
[   ]idris-1.3.2-71.0-pen..>2020-02-23 01:27 8.9M 
[   ]idris-1.3.2-71.0-pen..>2020-02-23 01:27 310  
[   ]idris-1.3.2-72.0-i68..>2020-02-23 10:10 8.9M 
[   ]idris-1.3.2-72.0-i68..>2020-02-23 10:10 310  
[   ]idris-1.3.2-72.0-pen..>2020-02-23 10:01 8.9M 
[   ]idris-1.3.2-72.0-pen..>2020-02-23 10:01 566  
[   ]idris-1.3.2-73.0-i68..>2020-02-23 14:34 8.9M 
[   ]idris-1.3.2-73.0-i68..>2020-02-23 14:34 310  
[   ]idris-1.3.2-73.0-pen..>2020-02-23 14:37 8.9M 
[   ]idris-1.3.2-73.0-pen..>2020-02-23 14:37 310  
[   ]idris-1.3.2-74.0-i68..>2020-02-24 16:48 8.9M 
[   ]idris-1.3.2-74.0-i68..>2020-02-24 16:48 310  
[   ]idris-1.3.2-74.0-pen..>2020-02-24 16:48 8.9M 
[   ]idris-1.3.2-74.0-pen..>2020-02-24 16:48 310  
[   ]idris-1.3.2-75.0-i68..>2020-02-24 20:52 8.9M 
[   ]idris-1.3.2-75.0-i68..>2020-02-24 20:52 310  
[   ]idris-1.3.2-75.0-pen..>2020-02-24 20:55 8.9M 
[   ]idris-1.3.2-75.0-pen..>2020-02-24 20:55 310  
[   ]idris-1.3.2-76.0-i68..>2020-02-25 15:38 8.9M 
[   ]idris-1.3.2-76.0-i68..>2020-02-25 15:38 310  
[   ]idris-1.3.2-76.0-pen..>2020-02-25 15:41 8.9M 
[   ]idris-1.3.2-76.0-pen..>2020-02-25 15:41 310  
[   ]idris-1.3.2-77.0-i68..>2020-02-28 01:00 8.9M 
[   ]idris-1.3.2-77.0-i68..>2020-02-28 01:00 310  
[   ]idris-1.3.2-77.0-pen..>2020-02-28 01:00 8.9M 
[   ]idris-1.3.2-77.0-pen..>2020-02-28 01:00 310  
[   ]idris-1.3.2-78.0-i68..>2020-02-29 16:10 8.9M 
[   ]idris-1.3.2-78.0-i68..>2020-02-29 16:10 310  
[   ]idris-1.3.2-78.0-pen..>2020-02-29 16:21 8.9M 
[   ]idris-1.3.2-78.0-pen..>2020-02-29 16:21 566  
[   ]idris-1.3.2-79.0-i68..>2020-03-01 15:29 8.9M 
[   ]idris-1.3.2-79.0-i68..>2020-03-01 15:29 310  
[   ]idris-1.3.2-79.0-pen..>2020-03-01 15:32 8.9M 
[   ]idris-1.3.2-79.0-pen..>2020-03-01 15:32 566  
[   ]idris-1.3.2-80.0-i68..>2020-03-03 10:38 8.9M 
[   ]idris-1.3.2-80.0-i68..>2020-03-03 10:38 566  
[   ]idris-1.3.2-80.0-pen..>2020-03-03 05:00 8.9M 
[   ]idris-1.3.2-80.0-pen..>2020-03-03 05:00 310  
[   ]idris-1.3.2-81.0-i68..>2020-03-03 19:03 8.9M 
[   ]idris-1.3.2-81.0-i68..>2020-03-03 19:03 566  
[   ]idris-1.3.2-81.0-pen..>2020-03-03 18:58 8.9M 
[   ]idris-1.3.2-81.0-pen..>2020-03-03 18:58 310  
[   ]idris-1.3.2-82.0-i68..>2020-03-05 00:21 8.9M 
[   ]idris-1.3.2-82.0-i68..>2020-03-05 00:21 310  
[   ]idris-1.3.2-82.0-pen..>2020-03-05 00:38 8.9M 
[   ]idris-1.3.2-82.0-pen..>2020-03-05 00:38 565  
[   ]idris-1.3.2-83.0-i68..>2020-03-05 04:30 8.9M 
[   ]idris-1.3.2-83.0-i68..>2020-03-05 04:30 310  
[   ]idris-1.3.2-83.0-pen..>2020-03-05 06:07 8.9M 
[   ]idris-1.3.2-83.0-pen..>2020-03-05 06:07 566  
[   ]idris-1.3.2-84.0-i68..>2020-03-08 17:10 8.9M 
[   ]idris-1.3.2-84.0-i68..>2020-03-08 17:10 310  
[   ]idris-1.3.2-84.0-pen..>2020-03-08 17:10 8.9M 
[   ]idris-1.3.2-84.0-pen..>2020-03-08 17:10 310  
[   ]idris-1.3.2-85.0-i68..>2020-03-08 20:15 8.9M 
[   ]idris-1.3.2-85.0-i68..>2020-03-08 20:15 310  
[   ]idris-1.3.2-85.0-pen..>2020-03-08 20:16 8.9M 
[   ]idris-1.3.2-85.0-pen..>2020-03-08 20:16 310  
[   ]idris-1.3.2-86.0-i68..>2020-03-09 14:07 8.9M 
[   ]idris-1.3.2-86.0-i68..>2020-03-09 14:07 310  
[   ]idris-1.3.2-86.0-pen..>2020-03-09 14:14 8.9M 
[   ]idris-1.3.2-86.0-pen..>2020-03-09 14:14 566  
[   ]idris-1.3.2-87.0-i68..>2020-03-09 23:20 8.9M 
[   ]idris-1.3.2-87.0-i68..>2020-03-09 23:20 310  
[   ]idris-1.3.2-87.0-pen..>2020-03-09 23:28 8.9M 
[   ]idris-1.3.2-87.0-pen..>2020-03-09 23:28 310  
[   ]idris-1.3.2-88.0-i68..>2020-03-10 22:25 8.9M 
[   ]idris-1.3.2-88.0-i68..>2020-03-10 22:25 310  
[   ]idris-1.3.2-88.0-pen..>2020-03-10 22:57 8.9M 
[   ]idris-1.3.2-88.0-pen..>2020-03-10 22:57 310  
[   ]idris-1.3.2-91.0-i68..>2020-03-12 16:01 8.9M 
[   ]idris-1.3.2-91.0-i68..>2020-03-12 16:01 566  
[   ]idris-1.3.2-91.0-pen..>2020-03-12 16:00 8.9M 
[   ]idris-1.3.2-91.0-pen..>2020-03-12 16:00 310  
[   ]idris-1.3.2-92.0-i68..>2020-03-12 22:54 8.9M 
[   ]idris-1.3.2-92.0-i68..>2020-03-12 22:54 310  
[   ]idris-1.3.2-92.0-pen..>2020-03-12 22:56 8.9M 
[   ]idris-1.3.2-92.0-pen..>2020-03-12 22:56 310  
[   ]idris-1.3.2-93.0-i68..>2020-03-13 17:15 8.9M 
[   ]idris-1.3.2-93.0-i68..>2020-03-13 17:15 310  
[   ]idris-1.3.2-93.0-pen..>2020-03-13 17:21 8.9M 
[   ]idris-1.3.2-93.0-pen..>2020-03-13 17:21 310  
[   ]idris-1.3.2-94.0-i68..>2020-03-13 23:00 8.9M 
[   ]idris-1.3.2-94.0-i68..>2020-03-13 23:00 310  
[   ]idris-1.3.2-94.0-pen..>2020-03-13 23:00 8.9M 
[   ]idris-1.3.2-94.0-pen..>2020-03-13 23:00 310  
[   ]idris-1.3.2-95.0-i68..>2020-03-14 20:16 8.9M 
[   ]idris-1.3.2-95.0-i68..>2020-03-14 20:16 566  
[   ]idris-1.3.2-95.0-pen..>2020-03-14 20:48 8.9M 
[   ]idris-1.3.2-95.0-pen..>2020-03-14 20:48 566  
[   ]idris-1.3.2-96.0-i68..>2020-03-15 10:37 8.9M 
[   ]idris-1.3.2-96.0-i68..>2020-03-15 10:37 310  
[   ]idris-1.3.2-96.0-pen..>2020-03-19 19:49 8.9M 
[   ]idris-1.3.2-96.0-pen..>2020-03-19 19:49 310  
[   ]idris-1.3.2-99.0-i68..>2020-03-19 19:51 8.9M 
[   ]idris-1.3.2-99.0-i68..>2020-03-19 19:51 310  
[   ]idris-1.3.2-100.0-i6..>2020-03-20 07:53 8.9M 
[   ]idris-1.3.2-100.0-i6..>2020-03-20 07:53 310  
[   ]idris-1.3.2-100.0-pe..>2020-03-20 08:26 8.9M 
[   ]idris-1.3.2-100.0-pe..>2020-03-20 08:26 310  
[   ]idris-1.3.2-102.0-i6..>2020-03-21 04:30 8.9M 
[   ]idris-1.3.2-102.0-i6..>2020-03-21 04:30 310  
[   ]idris-1.3.2-103.0-pe..>2020-03-21 18:48 8.9M 
[   ]idris-1.3.2-103.0-pe..>2020-03-21 18:48 310  
[   ]idris-1.3.2-104.0-i6..>2020-03-22 09:28 8.9M 
[   ]idris-1.3.2-104.0-i6..>2020-03-22 09:28 310  
[   ]idris-1.3.2-104.0-pe..>2020-03-22 07:27 8.9M 
[   ]idris-1.3.2-104.0-pe..>2020-03-22 07:27 566  
[   ]idris-1.3.2-105.0-i6..>2020-03-23 02:47 8.9M 
[   ]idris-1.3.2-105.0-i6..>2020-03-23 02:47 566  
[   ]idris-1.3.2-105.0-pe..>2020-03-23 02:56 8.9M 
[   ]idris-1.3.2-105.0-pe..>2020-03-23 02:56 566  
[   ]idris-1.3.2-106.0-i6..>2020-03-25 19:58 8.9M 
[   ]idris-1.3.2-106.0-i6..>2020-03-25 19:58 566  
[   ]idris-1.3.2-106.0-pe..>2020-03-25 20:00 8.9M 
[   ]idris-1.3.2-106.0-pe..>2020-03-25 20:00 310  
[   ]idris-1.3.2-107.0-i6..>2020-03-27 19:10 8.9M 
[   ]idris-1.3.2-107.0-i6..>2020-03-27 19:10 566  
[   ]idris-1.3.2-107.0-pe..>2020-03-27 21:07 8.9M 
[   ]idris-1.3.2-107.0-pe..>2020-03-27 21:07 566  
[   ]idris-1.3.2-108.0-i6..>2020-03-29 06:39 8.9M 
[   ]idris-1.3.2-108.0-i6..>2020-03-29 06:39 310  
[   ]idris-1.3.2-108.0-pe..>2020-03-29 07:48 8.9M 
[   ]idris-1.3.2-108.0-pe..>2020-03-29 07:48 310  
[   ]idris-1.3.2-109.0-i6..>2020-03-29 22:01 8.9M 
[   ]idris-1.3.2-109.0-i6..>2020-03-29 22:01 566  
[   ]idris-1.3.2-109.0-pe..>2020-03-29 21:49 8.9M 
[   ]idris-1.3.2-109.0-pe..>2020-03-29 21:49 310  
[   ]idris-1.3.2-110.0-i6..>2020-03-30 21:28 8.9M 
[   ]idris-1.3.2-110.0-i6..>2020-03-30 21:28 566  
[   ]idris-1.3.2-110.0-pe..>2020-03-30 21:28 8.9M 
[   ]idris-1.3.2-110.0-pe..>2020-03-30 21:28 310  
[   ]idris-1.3.2-111.0-i6..>2020-03-31 16:18 8.9M 
[   ]idris-1.3.2-111.0-i6..>2020-03-31 16:18 566  
[   ]idris-1.3.2-111.0-pe..>2020-03-31 16:18 8.9M 
[   ]idris-1.3.2-111.0-pe..>2020-03-31 16:18 310  
[   ]idris-1.3.2-113.0-i6..>2020-04-03 19:03 8.9M 
[   ]idris-1.3.2-113.0-i6..>2020-04-03 19:03 310  
[   ]idris-1.3.2-113.0-pe..>2020-04-03 19:04 8.9M 
[   ]idris-1.3.2-113.0-pe..>2020-04-03 19:04 310  
[   ]idris-1.3.2-115.0-i6..>2020-04-04 09:11 8.9M 
[   ]idris-1.3.2-115.0-i6..>2020-04-04 09:11 310  
[   ]idris-1.3.2-115.0-pe..>2020-04-04 09:12 8.9M 
[   ]idris-1.3.2-115.0-pe..>2020-04-04 09:12 310  
[   ]idris-1.3.2-116.0-i6..>2020-04-07 10:36 8.9M 
[   ]idris-1.3.2-116.0-i6..>2020-04-07 10:36 566  
[   ]idris-1.3.2-116.0-pe..>2020-04-07 10:33 8.9M 
[   ]idris-1.3.2-116.0-pe..>2020-04-07 10:33 310  
[   ]idris-1.3.2-118.0-i6..>2020-04-14 05:39 8.9M 
[   ]idris-1.3.2-118.0-i6..>2020-04-14 05:39 566  
[   ]idris-1.3.2-118.0-pe..>2020-04-14 07:06 8.9M 
[   ]idris-1.3.2-118.0-pe..>2020-04-14 07:06 310  
[   ]idris-1.3.2-119.0-i6..>2020-04-15 07:11 8.9M 
[   ]idris-1.3.2-119.0-i6..>2020-04-15 07:11 310  
[   ]idris-1.3.2-119.0-pe..>2020-04-15 07:10 8.9M 
[   ]idris-1.3.2-119.0-pe..>2020-04-15 07:10 310  
[   ]idris-1.3.2-120.0-i6..>2020-04-16 10:55 8.9M 
[   ]idris-1.3.2-120.0-i6..>2020-04-16 10:55 566  
[   ]idris-1.3.2-120.0-pe..>2020-04-16 03:02 8.9M 
[   ]idris-1.3.2-120.0-pe..>2020-04-16 03:02 310  
[   ]idris-1.3.2-121.0-i6..>2020-04-18 09:20 8.9M 
[   ]idris-1.3.2-121.0-i6..>2020-04-18 09:20 310  
[   ]idris-1.3.2-121.0-pe..>2020-04-18 09:25 8.9M 
[   ]idris-1.3.2-121.0-pe..>2020-04-18 09:25 566  
[   ]idris-1.3.2-122.0-i6..>2020-04-19 22:04 8.9M 
[   ]idris-1.3.2-122.0-i6..>2020-04-19 22:04 310  
[   ]idris-1.3.2-122.0-pe..>2020-04-19 22:07 8.9M 
[   ]idris-1.3.2-122.0-pe..>2020-04-19 22:07 566  
[   ]idris-1.3.2-123.0-i6..>2020-04-20 18:21 8.9M 
[   ]idris-1.3.2-123.0-i6..>2020-04-20 18:21 566  
[   ]idris-1.3.2-123.0-pe..>2020-04-20 18:39 8.9M 
[   ]idris-1.3.2-123.0-pe..>2020-04-20 18:39 566  
[   ]idris-1.3.2-124.0-i6..>2020-04-21 12:31 8.9M 
[   ]idris-1.3.2-124.0-i6..>2020-04-21 12:31 566  
[   ]idris-1.3.2-124.0-pe..>2020-04-21 12:53 8.9M 
[   ]idris-1.3.2-124.0-pe..>2020-04-21 12:53 566  
[   ]idris-1.3.2-128.0-i6..>2020-05-02 15:41 8.9M 
[   ]idris-1.3.2-128.0-i6..>2020-05-02 15:41 310  
[   ]idris-1.3.2-128.0-pe..>2020-05-15 14:54 8.9M 
[   ]idris-1.3.2-128.0-pe..>2020-05-15 14:54 566  
[   ]idris-1.3.2-134.0-i6..>2020-05-24 16:49 8.9M 
[   ]idris-1.3.2-134.0-i6..>2020-05-24 16:49 566  
[   ]idris-1.3.2-134.0-pe..>2020-05-24 19:19 8.9M 
[   ]idris-1.3.2-134.0-pe..>2020-05-24 19:19 566  
[   ]idris-1.3.3-8.0-i686..>2020-05-30 11:50 9.0M 
[   ]idris-1.3.3-8.0-i686..>2020-05-30 11:50 310  
[   ]idris-1.3.3-8.0-pent..>2020-05-30 11:11 9.0M 
[   ]idris-1.3.3-8.0-pent..>2020-05-30 11:11 566  
[   ]idris-1.3.3-9.0-i686..>2020-06-05 04:13 9.0M 
[   ]idris-1.3.3-9.0-i686..>2020-06-05 04:13 310  
[   ]idris-1.3.3-9.0-pent..>2020-06-05 04:17 9.0M 
[   ]idris-1.3.3-9.0-pent..>2020-06-05 04:17 310  
[   ]idris-1.3.3-10.0-i68..>2020-06-07 18:48 9.0M 
[   ]idris-1.3.3-10.0-i68..>2020-06-07 18:48 310  
[   ]idris-1.3.3-10.0-pen..>2020-06-07 19:02 9.0M 
[   ]idris-1.3.3-10.0-pen..>2020-06-07 19:02 310  
[   ]idris-1.3.3-11.0-i68..>2020-06-08 16:33 9.0M 
[   ]idris-1.3.3-11.0-i68..>2020-06-08 16:33 310  
[   ]idris-1.3.3-11.0-pen..>2020-06-08 16:39 9.0M 
[   ]idris-1.3.3-11.0-pen..>2020-06-08 16:39 310  
[   ]idris-1.3.3-12.0-i68..>2020-06-11 00:42 9.0M 
[   ]idris-1.3.3-12.0-i68..>2020-06-11 00:42 566  
[   ]idris-1.3.3-12.0-pen..>2020-06-11 01:21 9.0M 
[   ]idris-1.3.3-12.0-pen..>2020-06-11 01:21 310  
[   ]idris-1.3.3-13.0-i68..>2020-06-12 13:52 9.0M 
[   ]idris-1.3.3-13.0-i68..>2020-06-12 13:52 566  
[   ]idris-1.3.3-13.0-pen..>2020-06-12 14:31 9.0M 
[   ]idris-1.3.3-13.0-pen..>2020-06-12 14:31 310  
[   ]idris-1.3.3-14.0-i68..>2020-06-13 13:36 9.0M 
[   ]idris-1.3.3-14.0-i68..>2020-06-13 13:36 310  
[   ]idris-1.3.3-14.0-pen..>2020-06-13 13:39 9.0M 
[   ]idris-1.3.3-14.0-pen..>2020-06-13 13:39 566  
[   ]idris-1.3.3-18.0-i68..>2020-06-18 11:41 9.0M 
[   ]idris-1.3.3-18.0-i68..>2020-06-18 11:41 310  
[   ]idris-1.3.3-18.0-pen..>2020-06-18 11:40 9.0M 
[   ]idris-1.3.3-18.0-pen..>2020-06-18 11:40 310  
[   ]idris-1.3.3-20.0-i68..>2020-06-19 23:34 9.0M 
[   ]idris-1.3.3-20.0-i68..>2020-06-19 23:34 310  
[   ]idris-1.3.3-20.0-pen..>2020-06-19 23:35 9.0M 
[   ]idris-1.3.3-20.0-pen..>2020-06-19 23:35 310  
[   ]idris-1.3.3-22.0-pen..>2020-06-21 02:12 9.0M 
[   ]idris-1.3.3-22.0-pen..>2020-06-21 02:12 310  
[   ]idris-1.3.3-23.0-i68..>2020-06-22 15:40 9.0M 
[   ]idris-1.3.3-23.0-i68..>2020-06-22 15:40 310  
[   ]idris-1.3.3-23.0-pen..>2020-06-21 20:05 9.0M 
[   ]idris-1.3.3-23.0-pen..>2020-06-21 20:05 310  
[   ]idris-1.3.3-24.0-i68..>2020-06-23 14:54 9.0M 
[   ]idris-1.3.3-24.0-i68..>2020-06-23 14:54 310  
[   ]idris-1.3.3-24.0-pen..>2020-06-23 11:19 9.0M 
[   ]idris-1.3.3-24.0-pen..>2020-06-23 11:19 310  
[   ]idris-1.3.3-28.0-i68..>2020-06-27 18:30 9.0M 
[   ]idris-1.3.3-28.0-i68..>2020-06-27 18:30 310  
[   ]idris-1.3.3-28.0-pen..>2020-06-28 11:17 9.0M 
[   ]idris-1.3.3-28.0-pen..>2020-06-28 11:17 310  
[   ]idris-1.3.3-29.0-i68..>2020-07-01 14:26 9.0M 
[   ]idris-1.3.3-29.0-i68..>2020-07-01 14:26 566  
[   ]idris-1.3.3-29.0-pen..>2020-06-30 12:07 9.0M 
[   ]idris-1.3.3-29.0-pen..>2020-06-30 12:07 310  
[   ]idris-1.3.3-30.0-i68..>2020-07-31 00:42 9.0M 
[   ]idris-1.3.3-30.0-i68..>2020-07-31 00:42 310  
[   ]idris-1.3.3-30.0-pen..>2020-07-31 00:25 9.0M 
[   ]idris-1.3.3-30.0-pen..>2020-07-31 00:25 310  
[   ]idris-1.3.3-43.0-i68..>2020-08-10 10:22 9.0M 
[   ]idris-1.3.3-43.0-i68..>2020-08-10 10:22 566  
[   ]idris-1.3.3-43.0-pen..>2020-08-10 10:05 9.0M 
[   ]idris-1.3.3-43.0-pen..>2020-08-10 10:05 310  
[   ]idris-1.3.3-44.0-i68..>2020-08-10 19:12 9.0M 
[   ]idris-1.3.3-44.0-i68..>2020-08-10 19:12 566  
[   ]idris-1.3.3-44.0-pen..>2020-08-10 18:59 9.0M 
[   ]idris-1.3.3-44.0-pen..>2020-08-10 18:59 566  
[   ]idris-1.3.3-45.0-i68..>2020-08-11 11:09 9.0M 
[   ]idris-1.3.3-45.0-i68..>2020-08-11 11:09 310  
[   ]idris-1.3.3-45.0-pen..>2020-08-11 11:10 9.0M 
[   ]idris-1.3.3-45.0-pen..>2020-08-11 11:10 310  
[   ]idris-1.3.3-47.0-i68..>2020-08-13 16:27 9.0M 
[   ]idris-1.3.3-47.0-i68..>2020-08-13 16:27 310  
[   ]idris-1.3.3-47.0-pen..>2020-08-13 16:27 9.0M 
[   ]idris-1.3.3-47.0-pen..>2020-08-13 16:27 310  
[   ]idris-1.3.3-48.0-pen..>2020-08-14 23:52 9.0M 
[   ]idris-1.3.3-48.0-pen..>2020-08-14 23:52 310  
[   ]idris-1.3.3-49.0-i68..>2020-08-15 19:56 9.0M 
[   ]idris-1.3.3-49.0-i68..>2020-08-15 19:56 310  
[   ]idris-1.3.3-49.0-pen..>2020-08-15 15:24 9.0M 
[   ]idris-1.3.3-49.0-pen..>2020-08-15 15:24 310  
[   ]idris-1.3.3-52.0-i68..>2020-08-19 07:38 9.0M 
[   ]idris-1.3.3-52.0-i68..>2020-08-19 07:38 310  
[   ]idris-1.3.3-52.0-pen..>2020-08-19 07:39 9.0M 
[   ]idris-1.3.3-52.0-pen..>2020-08-19 07:39 310  
[   ]idris-1.3.3-53.0-i68..>2020-08-20 18:37 9.0M 
[   ]idris-1.3.3-53.0-i68..>2020-08-20 18:37 566  
[   ]idris-1.3.3-53.0-pen..>2020-08-20 18:28 9.0M 
[   ]idris-1.3.3-53.0-pen..>2020-08-20 18:28 566  
[   ]idris-1.3.3-54.0-i68..>2020-08-22 02:00 9.0M 
[   ]idris-1.3.3-54.0-i68..>2020-08-22 02:00 566  
[   ]idris-1.3.3-55.0-i68..>2020-08-22 12:06 9.0M 
[   ]idris-1.3.3-55.0-i68..>2020-08-22 12:06 566  
[   ]idris-1.3.3-55.0-pen..>2020-08-22 18:36 9.0M 
[   ]idris-1.3.3-55.0-pen..>2020-08-22 18:36 310  
[   ]idris-1.3.3-56.0-i68..>2020-08-24 04:26 9.0M 
[   ]idris-1.3.3-56.0-i68..>2020-08-24 04:26 566  
[   ]idris-1.3.3-56.0-pen..>2020-08-24 04:21 9.0M 
[   ]idris-1.3.3-56.0-pen..>2020-08-24 04:21 310  
[   ]idris-1.3.3-57.0-i68..>2020-08-24 14:14 9.0M 
[   ]idris-1.3.3-57.0-i68..>2020-08-24 14:14 566  
[   ]idris-1.3.3-57.0-pen..>2020-08-24 13:27 9.0M 
[   ]idris-1.3.3-57.0-pen..>2020-08-24 13:27 310  
[   ]idris-1.3.3-59.0-i68..>2020-08-30 23:32 9.0M 
[   ]idris-1.3.3-59.0-i68..>2020-08-30 23:32 310  
[   ]idris-1.3.3-59.0-pen..>2020-08-31 00:46 9.0M 
[   ]idris-1.3.3-59.0-pen..>2020-08-31 00:46 310  
[   ]idris-1.3.3-62.0-i68..>2020-09-03 20:27 9.0M 
[   ]idris-1.3.3-62.0-i68..>2020-09-03 20:27 310  
[   ]idris-1.3.3-62.0-pen..>2020-09-02 21:54 9.0M 
[   ]idris-1.3.3-62.0-pen..>2020-09-02 21:54 566  
[   ]idris-1.3.3-64.0-i68..>2020-09-06 15:45 9.0M 
[   ]idris-1.3.3-64.0-i68..>2020-09-06 15:45 566  
[   ]idris-1.3.3-78.0-i68..>2020-10-01 19:09 9.0M 
[   ]idris-1.3.3-78.0-i68..>2020-10-01 19:09 566  
[   ]idris-1.3.3-78.0-pen..>2020-10-01 19:40 9.0M 
[   ]idris-1.3.3-78.0-pen..>2020-10-01 19:40 310  
[   ]idris-1.3.3-79.0-i68..>2020-10-04 00:13 9.0M 
[   ]idris-1.3.3-79.0-i68..>2020-10-04 00:13 310  
[   ]idris-1.3.3-79.0-pen..>2020-10-04 00:13 9.0M 
[   ]idris-1.3.3-79.0-pen..>2020-10-04 00:13 310  
[   ]idris-1.3.3-81.0-i68..>2020-10-06 05:24 9.0M 
[   ]idris-1.3.3-81.0-i68..>2020-10-06 05:24 310  
[   ]idris-1.3.3-81.0-pen..>2020-10-06 05:29 9.0M 
[   ]idris-1.3.3-81.0-pen..>2020-10-06 05:29 566  
[   ]idris-1.3.3-82.0-i68..>2020-10-06 23:32 9.0M 
[   ]idris-1.3.3-82.0-i68..>2020-10-06 23:32 566  
[   ]idris-1.3.3-82.0-pen..>2020-10-06 23:30 9.0M 
[   ]idris-1.3.3-82.0-pen..>2020-10-06 23:30 310  
[   ]idris-1.3.3-85.0-i68..>2020-10-10 17:08 9.0M 
[   ]idris-1.3.3-85.0-i68..>2020-10-10 17:08 566  
[   ]idris-1.3.3-85.0-pen..>2020-10-10 06:30 9.0M 
[   ]idris-1.3.3-85.0-pen..>2020-10-10 06:30 566  
[   ]idris-1.3.3-86.0-i68..>2020-10-11 19:03 9.0M 
[   ]idris-1.3.3-86.0-i68..>2020-10-11 19:03 310  
[   ]idris-1.3.3-86.0-pen..>2020-10-11 18:27 9.0M 
[   ]idris-1.3.3-86.0-pen..>2020-10-11 18:27 310  
[   ]idris-1.3.3-100.0-i6..>2020-11-06 09:17 9.0M 
[   ]idris-1.3.3-100.0-i6..>2020-11-06 09:17 310  
[   ]idris-1.3.3-100.0-pe..>2020-11-06 09:19 9.0M 
[   ]idris-1.3.3-100.0-pe..>2020-11-06 09:19 310  
[   ]idris-1.3.3-101.0-pe..>2020-11-07 20:48 9.0M 
[   ]idris-1.3.3-101.0-pe..>2020-11-07 20:48 310  
[   ]idris-1.3.3-104.0-pe..>2020-11-08 17:22 9.0M 
[   ]idris-1.3.3-104.0-pe..>2020-11-08 17:22 310  
[   ]idris-1.3.3-105.0-pe..>2020-11-08 19:34 9.0M 
[   ]idris-1.3.3-105.0-pe..>2020-11-08 19:34 310  
[   ]idris-1.3.3-106.0-i6..>2020-11-11 17:59 9.0M 
[   ]idris-1.3.3-106.0-i6..>2020-11-11 17:59 310  
[   ]idris-1.3.3-106.0-pe..>2020-11-11 18:15 9.0M 
[   ]idris-1.3.3-106.0-pe..>2020-11-11 18:15 566  
[   ]idris-1.3.3-111.0-i6..>2020-11-25 06:58 9.0M 
[   ]idris-1.3.3-111.0-i6..>2020-11-25 06:58 566  
[   ]idris-1.3.3-111.0-pe..>2020-11-25 07:16 9.0M 
[   ]idris-1.3.3-111.0-pe..>2020-11-25 07:16 566  
[   ]idris-1.3.3-112.0-i6..>2020-11-26 15:20 9.0M 
[   ]idris-1.3.3-112.0-i6..>2020-11-26 15:20 566  
[   ]idris-1.3.3-112.0-pe..>2020-11-26 14:49 9.0M 
[   ]idris-1.3.3-112.0-pe..>2020-11-26 14:49 566  
[   ]idris-1.3.3-113.0-i6..>2020-11-26 22:10 9.0M 
[   ]idris-1.3.3-113.0-i6..>2020-11-26 22:10 310  
[   ]idris-1.3.3-113.0-pe..>2020-11-26 22:23 9.0M 
[   ]idris-1.3.3-113.0-pe..>2020-11-26 22:23 566  
[   ]idris-1.3.3-139.0-i6..>2020-12-31 04:33 9.0M 
[   ]idris-1.3.3-139.0-i6..>2020-12-31 04:33 566  
[   ]idris-1.3.3-142.0-pe..>2021-01-03 19:03 9.0M 
[   ]idris-1.3.3-142.0-pe..>2021-01-03 19:03 310  
[   ]idris-1.3.3-149.0-i6..>2021-01-09 14:11 9.0M 
[   ]idris-1.3.3-149.0-i6..>2021-01-09 14:11 310  
[   ]idris-1.3.3-149.0-pe..>2021-01-09 14:14 9.0M 
[   ]idris-1.3.3-149.0-pe..>2021-01-09 14:14 566  
[   ]idris-1.3.3-150.0-pe..>2021-01-10 12:31 9.0M 
[   ]idris-1.3.3-150.0-pe..>2021-01-10 12:31 310