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

2020-03-21 Thread Felix Yan via arch-commits
Date: Sunday, March 22, 2020 @ 01:02:58 Author: felixonmars Revision: 603175 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 603174, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-21 Thread Felix Yan via arch-commits
Date: Saturday, March 21, 2020 @ 13:05:52 Author: felixonmars Revision: 602574 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 602573, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 21:42:25 Author: felixonmars Revision: 602152 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 602151, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 15:07:39 Author: felixonmars Revision: 601732 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 601731, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-19 Thread Felix Yan via arch-commits
Date: Thursday, March 19, 2020 @ 22:07:36 Author: felixonmars Revision: 601260 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 601258, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-17 Thread Felix Yan via arch-commits
Date: Tuesday, March 17, 2020 @ 15:36:53 Author: felixonmars Revision: 600303 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 600302, idris/trunk/PKGBUILD) idris/repos/communit

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

2020-03-17 Thread Felix Yan via arch-commits
Date: Tuesday, March 17, 2020 @ 09:29:56 Author: felixonmars Revision: 600034 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 600033, idris/trunk/PKGBUILD) idris/repos/communit

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

2020-03-15 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 03:14:14 Author: felixonmars Revision: 599056 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 599055, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Sunday, March 15, 2020 @ 01:02:37 Author: felixonmars Revision: 597535 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 597534, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 12:27:12 Author: felixonmars Revision: 596720 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 596719, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 16:57:21 Author: felixonmars Revision: 596174 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 596173, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 12:05:58 Author: felixonmars Revision: 595863 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 595862, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-12 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 18:22:35 Author: felixonmars Revision: 595384 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 595383, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 04:12:48 Author: felixonmars Revision: 595045 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 595044, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Wednesday, March 11, 2020 @ 21:07:22 Author: felixonmars Revision: 594613 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 594612, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Wednesday, March 11, 2020 @ 17:38:02 Author: felixonmars Revision: 594461 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 594460, idris/trunk/PKGBUILD) idris/repos/commun

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

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

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

2020-03-09 Thread Felix Yan via arch-commits
Date: Monday, March 9, 2020 @ 18:26:39 Author: felixonmars Revision: 593193 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 593192, idris/trunk/PKGBUILD) idris/repos/community-

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Monday, March 9, 2020 @ 00:00:05 Author: felixonmars Revision: 592700 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 592699, idris/trunk/PKGBUILD) idris/repos/community-

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 13:58:44 Author: felixonmars Revision: 592027 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 592026, idris/trunk/PKGBUILD) idris/repos/community-

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 10:15:01 Author: felixonmars Revision: 591626 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 591625, idris/trunk/PKGBUILD) idris/repos/community-

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

2020-03-04 Thread Felix Yan via arch-commits
Date: Wednesday, March 4, 2020 @ 21:21:06 Author: felixonmars Revision: 590532 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 590530, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-04 Thread Felix Yan via arch-commits
Date: Wednesday, March 4, 2020 @ 13:35:19 Author: felixonmars Revision: 590124 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 590123, idris/trunk/PKGBUILD) idris/repos/communi

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

2020-03-03 Thread Felix Yan via arch-commits
Date: Tuesday, March 3, 2020 @ 11:20:21 Author: felixonmars Revision: 589606 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 589605, idris/trunk/PKGBUILD) idris/repos/community

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

2020-03-02 Thread Felix Yan via arch-commits
Date: Monday, March 2, 2020 @ 19:34:33 Author: felixonmars Revision: 588703 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 588702, idris/trunk/PKGBUILD) idris/repos/community-

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

2020-02-29 Thread Felix Yan via arch-commits
Date: Saturday, February 29, 2020 @ 22:35:58 Author: felixonmars Revision: 587214 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 587213, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-28 Thread Felix Yan via arch-commits
Date: Friday, February 28, 2020 @ 08:26:02 Author: felixonmars Revision: 584963 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 584962, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 13:09:36 Author: felixonmars Revision: 582419 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 582418, idris/trunk/PKGBUILD) idris/repos/com

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

2020-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 10:52:39 Author: felixonmars Revision: 580997 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 580996, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-24 Thread Felix Yan via arch-commits
Date: Monday, February 24, 2020 @ 15:05:48 Author: felixonmars Revision: 580527 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 580526, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 23:00:25 Author: felixonmars Revision: 580129 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 580128, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 09:44:31 Author: felixonmars Revision: 579519 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 579518, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 21:55:41 Author: felixonmars Revision: 579172 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 579171, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 18:18:17 Author: felixonmars Revision: 578907 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 578906, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 13:36:17 Author: felixonmars Revision: 578517 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 578516, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-21 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 04:06:13 Author: felixonmars Revision: 577955 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 577954, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-20 Thread Felix Yan via arch-commits
Date: Thursday, February 20, 2020 @ 11:50:11 Author: felixonmars Revision: 577103 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 577102, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-19 Thread Felix Yan via arch-commits
Date: Wednesday, February 19, 2020 @ 13:43:12 Author: felixonmars Revision: 576560 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 576559, idris/trunk/PKGBUILD) idris/repos/com

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

2020-02-19 Thread Felix Yan via arch-commits
Date: Wednesday, February 19, 2020 @ 08:34:09 Author: felixonmars Revision: 576317 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 576316, idris/trunk/PKGBUILD) idris/repos/com

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

2020-02-18 Thread Felix Yan via arch-commits
Date: Tuesday, February 18, 2020 @ 19:10:57 Author: felixonmars Revision: 576121 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 576120, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-18 Thread Felix Yan via arch-commits
Date: Tuesday, February 18, 2020 @ 12:24:11 Author: felixonmars Revision: 575834 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 575833, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 21:07:41 Author: felixonmars Revision: 574627 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 574626, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 12:52:41 Author: felixonmars Revision: 574046 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 574045, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 21:55:40 Author: felixonmars Revision: 572910 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 572909, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 22:05:21 Author: felixonmars Revision: 570938 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 570937, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 21:22:57 Author: felixonmars Revision: 570887 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 570886, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 16:55:14 Author: felixonmars Revision: 570630 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 570629, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 12:24:42 Author: felixonmars Revision: 570147 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 570146, idris/trunk/PKGBUILD) idris/repos/comm

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

2020-02-12 Thread Felix Yan via arch-commits
Date: Wednesday, February 12, 2020 @ 13:21:02 Author: felixonmars Revision: 569321 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 569320, idris/trunk/PKGBUILD) idris/repos/com

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

2020-02-12 Thread Felix Yan via arch-commits
Date: Wednesday, February 12, 2020 @ 08:32:38 Author: felixonmars Revision: 569124 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 569123, idris/trunk/PKGBUILD) idris/repos/com

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 22:15:29 Author: felixonmars Revision: 568144 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 568143, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 14:36:37 Author: felixonmars Revision: 567227 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 567226, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-10 Thread Felix Yan via arch-commits
Date: Monday, February 10, 2020 @ 12:55:37 Author: felixonmars Revision: 565880 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 565879, idris/trunk/PKGBUILD) idris/repos/commun

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

2020-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 21:37:29 Author: felixonmars Revision: 565027 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 565025, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 12:45:18 Author: felixonmars Revision: 564083 archrelease: copy trunk to community-staging-x86_64 Added: idris/repos/community-staging-x86_64/ idris/repos/community-staging-x86_64/PKGBUILD (from rev 564082, idris/trunk/PKGBUILD) idris/repos/commu

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

2020-02-02 Thread Felix Yan via arch-commits
Date: Sunday, February 2, 2020 @ 16:09:50 Author: felixonmars Revision: 561663 archrelease: copy trunk to community-testing-x86_64 Added: idris/repos/community-testing-x86_64/ idris/repos/community-testing-x86_64/PKGBUILD (from rev 561662, idris/trunk/PKGBUILD) idris/repos/communi