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

2020-05-24 Thread Felix Yan via arch-commits
Date: Sunday, May 24, 2020 @ 16:43:07 Author: felixonmars Revision: 632987 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 632986, idris/trunk/PKGBUILD)

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

2020-05-21 Thread Felix Yan via arch-commits
Date: Thursday, May 21, 2020 @ 17:16:40 Author: felixonmars Revision: 631340 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 631339, idris/trunk/PKGBUILD)

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

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 15:08:56 Author: felixonmars Revision: 630755 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 630754, idris/trunk/PKGBUILD)

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

2020-05-19 Thread Felix Yan via arch-commits
Date: Tuesday, May 19, 2020 @ 23:27:06 Author: felixonmars Revision: 630339 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 630338, idris/trunk/PKGBUILD)

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

2020-05-18 Thread Felix Yan via arch-commits
Date: Monday, May 18, 2020 @ 10:53:44 Author: felixonmars Revision: 629442 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 629440, idris/trunk/PKGBUILD)

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

2020-05-17 Thread Felix Yan via arch-commits
Date: Sunday, May 17, 2020 @ 23:14:53 Author: felixonmars Revision: 629126 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 629125, idris/trunk/PKGBUILD)

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

2020-05-13 Thread Felix Yan via arch-commits
Date: Wednesday, May 13, 2020 @ 13:33:25 Author: felixonmars Revision: 627679 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 627678, idris/trunk/PKGBUILD)

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 04:39:12 Author: felixonmars Revision: 623682 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 623681, idris/trunk/PKGBUILD)

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Sunday, April 26, 2020 @ 04:53:10 Author: felixonmars Revision: 621378 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 621377, idris/trunk/PKGBUILD)

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Saturday, April 25, 2020 @ 16:54:52 Author: felixonmars Revision: 620987 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 620986, idris/trunk/PKGBUILD)

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Saturday, April 25, 2020 @ 09:17:57 Author: felixonmars Revision: 619847 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 619846, idris/trunk/PKGBUILD)

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

2020-04-20 Thread Felix Yan via arch-commits
Date: Tuesday, April 21, 2020 @ 01:57:25 Author: felixonmars Revision: 617227 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 617226, idris/trunk/PKGBUILD)

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

2020-04-19 Thread Felix Yan via arch-commits
Date: Monday, April 20, 2020 @ 00:48:53 Author: felixonmars Revision: 616822 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 616821, idris/trunk/PKGBUILD)

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

2020-04-18 Thread Felix Yan via arch-commits
Date: Sunday, April 19, 2020 @ 04:10:29 Author: felixonmars Revision: 616304 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 616303, idris/trunk/PKGBUILD)

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

2020-04-17 Thread Felix Yan via arch-commits
Date: Friday, April 17, 2020 @ 20:10:51 Author: felixonmars Revision: 615777 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 615776, idris/trunk/PKGBUILD)

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

2020-04-15 Thread Felix Yan via arch-commits
Date: Wednesday, April 15, 2020 @ 12:00:25 Author: felixonmars Revision: 614678 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 614677, idris/trunk/PKGBUILD)

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

2020-04-14 Thread Felix Yan via arch-commits
Date: Tuesday, April 14, 2020 @ 20:50:31 Author: felixonmars Revision: 614178 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 614177, idris/trunk/PKGBUILD)

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

2020-04-13 Thread Felix Yan via arch-commits
Date: Monday, April 13, 2020 @ 22:18:37 Author: felixonmars Revision: 613815 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 613814, idris/trunk/PKGBUILD)

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

2020-04-08 Thread Evangelos Foutras via arch-commits
Date: Wednesday, April 8, 2020 @ 22:28:36 Author: foutrelis Revision: 612779 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 612778, idris/trunk/PKGBUILD)

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

2020-04-06 Thread Felix Yan via arch-commits
Date: Tuesday, April 7, 2020 @ 02:26:46 Author: felixonmars Revision: 612320 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 612319, idris/trunk/PKGBUILD)

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Saturday, April 4, 2020 @ 00:12:56 Author: felixonmars Revision: 611383 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 611382, idris/trunk/PKGBUILD)

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 17:57:15 Author: felixonmars Revision: 610974 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 610973, idris/trunk/PKGBUILD)

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 23:05:33 Author: felixonmars Revision: 610445 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 610444, idris/trunk/PKGBUILD)

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 12:31:24 Author: felixonmars Revision: 609562 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 609561, idris/trunk/PKGBUILD)

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

2020-03-31 Thread Felix Yan via arch-commits
Date: Tuesday, March 31, 2020 @ 06:26:53 Author: felixonmars Revision: 607661 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 607660, idris/trunk/PKGBUILD)

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 23:47:16 Author: felixonmars Revision: 606655 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 606654, idris/trunk/PKGBUILD)

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 14:25:28 Author: felixonmars Revision: 606002 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 606001, idris/trunk/PKGBUILD)

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 22:33:23 Author: felixonmars Revision: 605610 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 605609, idris/trunk/PKGBUILD)

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

2020-03-26 Thread Felix Yan via arch-commits
Date: Thursday, March 26, 2020 @ 22:13:46 Author: felixonmars Revision: 604763 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 604762, idris/trunk/PKGBUILD)

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

2020-03-25 Thread Felix Yan via arch-commits
Date: Wednesday, March 25, 2020 @ 14:37:13 Author: felixonmars Revision: 604218 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 604217, idris/trunk/PKGBUILD)

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

2017-10-19 Thread Felix Yan
Date: Thursday, October 19, 2017 @ 06:12:03 Author: felixonmars Revision: 263480 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 263479,

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

2017-10-05 Thread Felix Yan
Date: Thursday, October 5, 2017 @ 14:50:50 Author: felixonmars Revision: 261756 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 261755, idris/trunk/PKGBUILD)

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

2017-10-03 Thread Felix Yan
Date: Tuesday, October 3, 2017 @ 15:29:28 Author: felixonmars Revision: 261392 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 261391, idris/trunk/PKGBUILD)

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

2017-09-21 Thread Felix Yan
Date: Thursday, September 21, 2017 @ 10:23:55 Author: felixonmars Revision: 259143 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 259142,

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

2017-09-06 Thread Felix Yan
Date: Wednesday, September 6, 2017 @ 07:06:18 Author: felixonmars Revision: 256010 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 256009,

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

2017-08-30 Thread Felix Yan
Date: Wednesday, August 30, 2017 @ 21:43:00 Author: felixonmars Revision: 254947 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 254946,

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

2017-08-20 Thread Felix Yan
Date: Sunday, August 20, 2017 @ 09:42:40 Author: felixonmars Revision: 252662 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 252661, idris/trunk/PKGBUILD)

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

2017-08-18 Thread Felix Yan
Date: Friday, August 18, 2017 @ 07:54:25 Author: felixonmars Revision: 252396 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 252395, idris/trunk/PKGBUILD)

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

2017-08-17 Thread Felix Yan
Date: Thursday, August 17, 2017 @ 10:19:51 Author: felixonmars Revision: 251681 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 251680, idris/trunk/PKGBUILD)

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

2017-08-02 Thread Felix Yan
Date: Wednesday, August 2, 2017 @ 23:00:51 Author: felixonmars Revision: 247628 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 247627, idris/trunk/PKGBUILD)

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

2017-08-02 Thread Felix Yan
Date: Wednesday, August 2, 2017 @ 17:43:35 Author: felixonmars Revision: 247520 archrelease: copy trunk to community-i686, community-x86_64 Added: idris/repos/community-i686/PKGBUILD (from rev 247519, idris/trunk/PKGBUILD) idris/repos/community-x86_64/PKGBUILD (from rev 247519,

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

2017-08-02 Thread Felix Yan
Date: Wednesday, August 2, 2017 @ 15:17:05 Author: felixonmars Revision: 247448 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/PKGBUILD (from rev 247447, idris/trunk/PKGBUILD)

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

2017-08-01 Thread Felix Yan
Date: Tuesday, August 1, 2017 @ 17:53:43 Author: felixonmars Revision: 247366 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 247365, idris/trunk/PKGBUILD)

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

2017-07-31 Thread Felix Yan
Date: Monday, July 31, 2017 @ 20:43:13 Author: felixonmars Revision: 247229 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 247228, idris/trunk/PKGBUILD)

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

2017-07-30 Thread Felix Yan
Date: Sunday, July 30, 2017 @ 18:45:59 Author: felixonmars Revision: 247100 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 247099, idris/trunk/PKGBUILD)

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

2017-07-30 Thread Felix Yan
Date: Sunday, July 30, 2017 @ 13:12:15 Author: felixonmars Revision: 247017 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 247016, idris/trunk/PKGBUILD)

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

2017-07-29 Thread Felix Yan
Date: Saturday, July 29, 2017 @ 18:22:37 Author: felixonmars Revision: 246860 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 246859, idris/trunk/PKGBUILD)

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

2017-07-26 Thread Felix Yan
Date: Wednesday, July 26, 2017 @ 18:42:53 Author: felixonmars Revision: 246494 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 246493, idris/trunk/PKGBUILD)

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

2017-07-11 Thread Felix Yan
Date: Tuesday, July 11, 2017 @ 23:12:08 Author: felixonmars Revision: 244566 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 244565, idris/trunk/PKGBUILD)

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

2017-07-11 Thread Felix Yan
Date: Tuesday, July 11, 2017 @ 09:43:39 Author: felixonmars Revision: 244044 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 244043, idris/trunk/PKGBUILD)

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

2017-07-07 Thread Felix Yan
Date: Friday, July 7, 2017 @ 22:46:06 Author: felixonmars Revision: 243108 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 243107, idris/trunk/PKGBUILD)

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

2017-07-07 Thread Felix Yan
Date: Friday, July 7, 2017 @ 10:00:50 Author: felixonmars Revision: 242771 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 242770, idris/trunk/PKGBUILD)

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

2017-06-30 Thread Felix Yan
Date: Friday, June 30, 2017 @ 22:21:00 Author: felixonmars Revision: 241820 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 241819, idris/trunk/PKGBUILD)

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

2017-06-27 Thread Felix Yan
Date: Tuesday, June 27, 2017 @ 09:09:35 Author: felixonmars Revision: 241150 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 241149, idris/trunk/PKGBUILD)

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

2017-06-23 Thread Felix Yan
Date: Friday, June 23, 2017 @ 19:16:14 Author: felixonmars Revision: 240538 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 240537, idris/trunk/PKGBUILD)

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

2017-06-22 Thread Felix Yan
Date: Thursday, June 22, 2017 @ 19:42:06 Author: felixonmars Revision: 239686 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 239685, idris/trunk/PKGBUILD)

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

2017-06-22 Thread Felix Yan
Date: Thursday, June 22, 2017 @ 10:08:33 Author: felixonmars Revision: 239514 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 239513, idris/trunk/PKGBUILD)

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

2017-06-21 Thread Felix Yan
Date: Wednesday, June 21, 2017 @ 06:17:19 Author: felixonmars Revision: 239158 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 239157, idris/trunk/PKGBUILD)

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

2017-06-19 Thread Felix Yan
Date: Monday, June 19, 2017 @ 08:54:26 Author: felixonmars Revision: 238134 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 238133, idris/trunk/PKGBUILD)

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

2017-06-12 Thread Felix Yan
Date: Monday, June 12, 2017 @ 10:08:41 Author: felixonmars Revision: 236370 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 236369, idris/trunk/PKGBUILD)

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

2017-06-11 Thread Felix Yan
Date: Sunday, June 11, 2017 @ 09:16:51 Author: felixonmars Revision: 236171 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 236170, idris/trunk/PKGBUILD)

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

2017-06-06 Thread Felix Yan
Date: Tuesday, June 6, 2017 @ 21:24:31 Author: felixonmars Revision: 235111 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 235110, idris/trunk/PKGBUILD)

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

2017-06-04 Thread Felix Yan
Date: Monday, June 5, 2017 @ 02:28:20 Author: felixonmars Revision: 234127 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 234126, idris/trunk/PKGBUILD)

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

2017-06-04 Thread Felix Yan
Date: Sunday, June 4, 2017 @ 16:19:24 Author: felixonmars Revision: 233975 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 233974, idris/trunk/PKGBUILD)

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

2017-06-03 Thread Felix Yan
Date: Sunday, June 4, 2017 @ 04:23:46 Author: felixonmars Revision: 233946 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 233945, idris/trunk/PKGBUILD)

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

2017-06-03 Thread Felix Yan
Date: Saturday, June 3, 2017 @ 12:50:37 Author: felixonmars Revision: 233735 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 233734, idris/trunk/PKGBUILD)

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

2017-06-02 Thread Felix Yan
Date: Friday, June 2, 2017 @ 23:24:00 Author: felixonmars Revision: 233565 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 233564, idris/trunk/PKGBUILD)

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

2017-06-01 Thread Felix Yan
Date: Thursday, June 1, 2017 @ 21:04:35 Author: felixonmars Revision: 232609 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 232608, idris/trunk/PKGBUILD)

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

2017-05-31 Thread Felix Yan
Date: Wednesday, May 31, 2017 @ 20:48:28 Author: felixonmars Revision: 231667 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 231666, idris/trunk/PKGBUILD)

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

2017-05-30 Thread Felix Yan
Date: Tuesday, May 30, 2017 @ 15:04:38 Author: felixonmars Revision: 231284 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 231283, idris/trunk/PKGBUILD)

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

2017-05-29 Thread Felix Yan
Date: Monday, May 29, 2017 @ 20:07:05 Author: felixonmars Revision: 231022 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 231021, idris/trunk/PKGBUILD)

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

2017-05-28 Thread Felix Yan
Date: Sunday, May 28, 2017 @ 19:37:11 Author: felixonmars Revision: 230685 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 230684, idris/trunk/PKGBUILD)

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

2017-05-25 Thread Felix Yan
Date: Thursday, May 25, 2017 @ 20:21:49 Author: felixonmars Revision: 230260 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 230259, idris/trunk/PKGBUILD)

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

2017-05-22 Thread Felix Yan
Date: Tuesday, May 23, 2017 @ 02:16:00 Author: felixonmars Revision: 229459 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 229458, idris/trunk/PKGBUILD)

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

2017-05-16 Thread Felix Yan
Date: Tuesday, May 16, 2017 @ 12:35:13 Author: felixonmars Revision: 228226 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 228225, idris/trunk/PKGBUILD)

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

2017-05-09 Thread Felix Yan
Date: Tuesday, May 9, 2017 @ 12:26:06 Author: felixonmars Revision: 227438 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 227437, idris/trunk/PKGBUILD)

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

2017-05-04 Thread Felix Yan
Date: Thursday, May 4, 2017 @ 09:48:41 Author: felixonmars Revision: 226913 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 226912, idris/trunk/PKGBUILD)

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

2017-05-02 Thread Felix Yan
Date: Tuesday, May 2, 2017 @ 06:43:40 Author: felixonmars Revision: 226495 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 226494, idris/trunk/PKGBUILD)

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

2017-04-25 Thread Felix Yan
Date: Tuesday, April 25, 2017 @ 18:19:04 Author: felixonmars Revision: 225322 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 225321, idris/trunk/PKGBUILD)

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

2017-04-24 Thread Felix Yan
Date: Monday, April 24, 2017 @ 10:07:29 Author: felixonmars Revision: 224854 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 224853, idris/trunk/PKGBUILD)

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

2017-04-23 Thread Felix Yan
Date: Sunday, April 23, 2017 @ 21:11:09 Author: felixonmars Revision: 224675 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 224674, idris/trunk/PKGBUILD)

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

2017-04-21 Thread Felix Yan
Date: Friday, April 21, 2017 @ 08:18:27 Author: felixonmars Revision: 224077 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 224076, idris/trunk/PKGBUILD)

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

2017-04-19 Thread Felix Yan
Date: Wednesday, April 19, 2017 @ 20:39:33 Author: felixonmars Revision: 223879 archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: idris/repos/community-staging-i686/PKGBUILD (from rev 223878, idris/trunk/PKGBUILD)

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

2017-04-17 Thread Felix Yan
Date: Tuesday, April 18, 2017 @ 05:35:29 Author: felixonmars Revision: 223669 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 223668, idris/trunk/PKGBUILD)

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

2017-04-17 Thread Felix Yan
Date: Monday, April 17, 2017 @ 16:24:16 Author: felixonmars Revision: 223509 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 223508, idris/trunk/PKGBUILD)

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

2017-04-13 Thread Felix Yan
Date: Thursday, April 13, 2017 @ 14:00:23 Author: felixonmars Revision: 222715 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 222714, idris/trunk/PKGBUILD)

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

2017-04-12 Thread Felix Yan
Date: Thursday, April 13, 2017 @ 03:51:33 Author: felixonmars Revision: 222568 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 222567, idris/trunk/PKGBUILD)

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

2017-04-11 Thread Felix Yan
Date: Tuesday, April 11, 2017 @ 20:52:35 Author: felixonmars Revision: 222408 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 222407, idris/trunk/PKGBUILD)

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

2017-04-11 Thread Felix Yan
Date: Tuesday, April 11, 2017 @ 10:53:31 Author: felixonmars Revision: 222166 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 222165, idris/trunk/PKGBUILD)

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

2017-04-10 Thread Felix Yan
Date: Monday, April 10, 2017 @ 21:10:04 Author: felixonmars Revision: 221946 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 221945, idris/trunk/PKGBUILD)

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

2017-04-09 Thread Felix Yan
Date: Sunday, April 9, 2017 @ 19:47:29 Author: felixonmars Revision: 221658 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 221657, idris/trunk/PKGBUILD)

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

2017-04-09 Thread Felix Yan
Date: Sunday, April 9, 2017 @ 10:29:00 Author: felixonmars Revision: 221410 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 221409, idris/trunk/PKGBUILD)

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

2017-04-03 Thread Felix Yan
Date: Monday, April 3, 2017 @ 14:39:32 Author: felixonmars Revision: 220396 archrelease: copy trunk to community-i686, community-x86_64 Added: idris/repos/community-i686/PKGBUILD (from rev 220395, idris/trunk/PKGBUILD) idris/repos/community-x86_64/PKGBUILD (from rev 220395,

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

2017-03-27 Thread Felix Yan
Date: Tuesday, March 28, 2017 @ 05:34:01 Author: felixonmars Revision: 219532 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 219531, idris/trunk/PKGBUILD)

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

2017-03-26 Thread Felix Yan
Date: Monday, March 27, 2017 @ 05:45:00 Author: felixonmars Revision: 219288 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 219287, idris/trunk/PKGBUILD)

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

2017-03-26 Thread Felix Yan
Date: Sunday, March 26, 2017 @ 17:46:42 Author: felixonmars Revision: 219151 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 219149, idris/trunk/PKGBUILD)

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

2017-03-21 Thread Felix Yan
Date: Tuesday, March 21, 2017 @ 08:09:32 Author: felixonmars Revision: 217953 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 217952, idris/trunk/PKGBUILD)

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

2017-03-19 Thread Felix Yan
Date: Sunday, March 19, 2017 @ 21:58:51 Author: felixonmars Revision: 217376 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 217375, idris/trunk/PKGBUILD)

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

2017-03-16 Thread Felix Yan
Date: Thursday, March 16, 2017 @ 16:58:28 Author: felixonmars Revision: 216772 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 216771, idris/trunk/PKGBUILD)

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

2017-03-12 Thread Felix Yan
Date: Sunday, March 12, 2017 @ 18:27:58 Author: felixonmars Revision: 215846 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 215845, idris/trunk/PKGBUILD)

  1   2   >