[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 603174, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 603174:603175 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 602573, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 602573:602574 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 602151, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 602151:602152 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 601731, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 601731:601732 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 601258, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 601259:601260 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 600302, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 600302:600303 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 600033, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 600033:600034 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 599055, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 599055:599056 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 597534, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 597534:597535 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 596719, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 596719:596720 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 596173, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 596173:596174 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 595862, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 595862:595863 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 595383, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 595383:595384 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 595044, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 595044:595045 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 594612, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 594612:594613 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 594460, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 594460:594461 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 593668, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 593668:593669 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 593192, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 593192:593193 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 592699, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 592699:592700 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 592026, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 592026:592027 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 591625, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 591625:591626 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 590530, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 590531:590532 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 590123, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 590123:590124 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 589605, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 589605:589606 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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-staging-x86_64/ghc-8.8.patch (from rev 588702, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 588702:588703 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 587213, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 587213:587214 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 584962, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 584962:584963 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 582418, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 582418:582419 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 580996, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 580996:580997 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 580526, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 580526:580527 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 580128, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 580128:580129 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 579518, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 579518:579519 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 579171, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 579171:579172 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 578906, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 578906:578907 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 578516, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 578516:578517 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 577954, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 577954:577955 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 577102, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 577102:577103 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 576559, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 576559:576560 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 576316, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 576316:576317 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 576120, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 576120:576121 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 575833, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 575833:575834 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 574626, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 574626:574627 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 574045, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 574045:574046 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 572909, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 572909:572910 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 570937, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 570937:570938 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 570886, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 570886:570887 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 570629, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 570629:570630 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 570146, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 570146:570147 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 569320, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 569320:569321 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 569123, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 569123:569124 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 568143, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 568143:568144 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 567226, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 567226:567227 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 565879, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 565879:565880 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 565025, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 565026:565027 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-staging-x86_64/ghc-8.8.patch (from rev 564082, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 564082:564083 to see the changes.
[arch-commits] Commit in idris/repos (3 files)
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/community-testing-x86_64/ghc-8.8.patch (from rev 561662, idris/trunk/ghc-8.8.patch) ---+ PKGBUILD | 63 ghc-8.8.patch | 5186 2 files changed, 5249 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 561662:561663 to see the changes.