[arch-commits] Commit in idris/repos (6 files)

2017-08-14 Thread Felix Yan
Date: Monday, August 14, 2017 @ 09:58:38 Author: felixonmars Revision: 250262 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 250261, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-11 Thread Felix Yan
Date: Friday, August 11, 2017 @ 18:58:32 Author: felixonmars Revision: 249883 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 249882, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-10 Thread Felix Yan
Date: Thursday, August 10, 2017 @ 20:28:02 Author: felixonmars Revision: 249789 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 249788, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-07 Thread Felix Yan
Date: Monday, August 7, 2017 @ 09:34:19 Author: felixonmars Revision: 249343 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 249342, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-06 Thread Felix Yan
Date: Sunday, August 6, 2017 @ 22:07:57 Author: felixonmars Revision: 249159 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 249158, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-06 Thread Felix Yan
Date: Sunday, August 6, 2017 @ 07:45:49 Author: felixonmars Revision: 248906 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 248905, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-05 Thread Felix Yan
Date: Saturday, August 5, 2017 @ 14:57:57 Author: felixonmars Revision: 248698 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 248697, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-04 Thread Felix Yan
Date: Friday, August 4, 2017 @ 12:28:29 Author: felixonmars Revision: 248317 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 248316, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-04 Thread Felix Yan
Date: Friday, August 4, 2017 @ 06:12:42 Author: felixonmars Revision: 248068 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 248067, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-08-03 Thread Felix Yan
Date: Thursday, August 3, 2017 @ 13:54:10 Author: felixonmars Revision: 247769 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 247768, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-03-08 Thread Felix Yan
Date: Thursday, March 9, 2017 @ 07:50:20 Author: felixonmars Revision: 215365 archrelease: copy trunk to community-i686, community-x86_64 Added: idris/repos/community-i686/PKGBUILD (from rev 215364, idris/trunk/PKGBUILD) idris/repos/community-x86_64/PKGBUILD (from rev 215364,

[arch-commits] Commit in idris/repos (6 files)

2017-03-01 Thread Felix Yan
Date: Wednesday, March 1, 2017 @ 08:26:07 Author: felixonmars Revision: 214318 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 214317, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-17 Thread Felix Yan
Date: Friday, February 17, 2017 @ 08:06:10 Author: felixonmars Revision: 212769 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 212768, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-16 Thread Felix Yan
Date: Thursday, February 16, 2017 @ 18:32:42 Author: felixonmars Revision: 212621 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 212620,

[arch-commits] Commit in idris/repos (6 files)

2017-02-14 Thread Felix Yan
Date: Tuesday, February 14, 2017 @ 10:36:23 Author: felixonmars Revision: 212340 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 212339,

[arch-commits] Commit in idris/repos (6 files)

2017-02-11 Thread Felix Yan
Date: Saturday, February 11, 2017 @ 18:31:23 Author: felixonmars Revision: 211895 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 211894,

[arch-commits] Commit in idris/repos (6 files)

2017-02-10 Thread Felix Yan
Date: Friday, February 10, 2017 @ 16:01:35 Author: felixonmars Revision: 211758 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 211757, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-07 Thread Felix Yan
Date: Tuesday, February 7, 2017 @ 22:34:45 Author: felixonmars Revision: 210944 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 210943, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-06 Thread Felix Yan
Date: Tuesday, February 7, 2017 @ 05:23:43 Author: felixonmars Revision: 210691 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 210690, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-06 Thread Felix Yan
Date: Monday, February 6, 2017 @ 19:10:57 Author: felixonmars Revision: 210538 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 210537, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-06 Thread Felix Yan
Date: Monday, February 6, 2017 @ 11:09:56 Author: felixonmars Revision: 210382 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 210381, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-02-03 Thread Felix Yan
Date: Saturday, February 4, 2017 @ 06:47:46 Author: felixonmars Revision: 209810 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 209809,

[arch-commits] Commit in idris/repos (6 files)

2017-01-24 Thread Felix Yan
Date: Tuesday, January 24, 2017 @ 09:03:46 Author: felixonmars Revision: 208783 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 208782, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-01-23 Thread Felix Yan
Date: Monday, January 23, 2017 @ 15:28:42 Author: felixonmars Revision: 208582 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 208581, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-01-17 Thread Felix Yan
Date: Tuesday, January 17, 2017 @ 17:38:36 Author: felixonmars Revision: 207761 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 207760, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-01-10 Thread Felix Yan
Date: Wednesday, January 11, 2017 @ 06:14:27 Author: felixonmars Revision: 206759 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 206758,

[arch-commits] Commit in idris/repos (6 files)

2017-01-10 Thread Felix Yan
Date: Tuesday, January 10, 2017 @ 09:47:14 Author: felixonmars Revision: 206519 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 206518, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-01-06 Thread Felix Yan
Date: Saturday, January 7, 2017 @ 06:21:54 Author: felixonmars Revision: 205935 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 205933, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2017-01-02 Thread Felix Yan
Date: Tuesday, January 3, 2017 @ 06:01:37 Author: felixonmars Revision: 204594 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 204593, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-26 Thread Felix Yan
Date: Monday, December 26, 2016 @ 21:18:36 Author: felixonmars Revision: 202859 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 202858, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-25 Thread Felix Yan
Date: Monday, December 26, 2016 @ 00:15:31 Author: felixonmars Revision: 202449 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 202448, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-22 Thread Felix Yan
Date: Thursday, December 22, 2016 @ 18:55:17 Author: felixonmars Revision: 201137 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 201136,

[arch-commits] Commit in idris/repos (6 files)

2016-12-18 Thread Felix Yan
Date: Sunday, December 18, 2016 @ 10:55:10 Author: felixonmars Revision: 200103 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 200102, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-17 Thread Felix Yan
Date: Saturday, December 17, 2016 @ 09:35:29 Author: felixonmars Revision: 199929 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 199928,

[arch-commits] Commit in idris/repos (6 files)

2016-12-15 Thread Felix Yan
Date: Friday, December 16, 2016 @ 07:39:49 Author: felixonmars Revision: 199771 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 199770, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-15 Thread Felix Yan
Date: Thursday, December 15, 2016 @ 18:16:16 Author: felixonmars Revision: 199590 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 199589,

[arch-commits] Commit in idris/repos (6 files)

2016-12-14 Thread Felix Yan
Date: Wednesday, December 14, 2016 @ 09:16:30 Author: felixonmars Revision: 199335 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 199334,

[arch-commits] Commit in idris/repos (6 files)

2016-12-13 Thread Felix Yan
Date: Tuesday, December 13, 2016 @ 15:51:08 Author: felixonmars Revision: 199239 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 199238,

[arch-commits] Commit in idris/repos (6 files)

2016-12-12 Thread Felix Yan
Date: Monday, December 12, 2016 @ 09:13:12 Author: felixonmars Revision: 198948 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 198947, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-06 Thread Felix Yan
Date: Tuesday, December 6, 2016 @ 10:34:39 Author: felixonmars Revision: 198154 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/ idris/repos/community-staging-i686/PKGBUILD (from rev 198153, idris/trunk/PKGBUILD)

[arch-commits] Commit in idris/repos (6 files)

2016-12-05 Thread Felix Yan
Date: Monday, December 5, 2016 @ 15:12:24 Author: felixonmars Revision: 198051 archrelease: copy trunk to community-testing-i686, community-testing-x86_64 Added: idris/repos/community-testing-i686/ idris/repos/community-testing-i686/PKGBUILD (from rev 198050, idris/trunk/PKGBUILD)