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) idris/repos/community-staging-x86_64/ghc-8.8.patch (from rev 614177, idris/trunk/ghc-8.8.patch) idris/repos/community-staging-x86_64/megaparsec-8.patch (from rev 614177, idris/trunk/megaparsec-8.patch) --------------------+ PKGBUILD | 65 ghc-8.8.patch | 5186 +++++++++++++++++++++++++++++++++++++++++++++++++++ megaparsec-8.patch | 41 3 files changed, 5292 insertions(+) The diff is longer than the limit of 200KB. Use svn diff -r 614177:614178 to see the changes.