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.