Date: Sunday, February 2, 2020 @ 16:09:33 Author: felixonmars Revision: 561662
upgpkg: idris 1.3.2-49 Added: idris/trunk/ghc-8.8.patch Modified: idris/trunk/PKGBUILD ---------------+ PKGBUILD | 9 ghc-8.8.patch | 5186 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 5192 insertions(+), 3 deletions(-) The diff is longer than the limit of 200KB. Use svn diff -r 561661:561662 to see the changes.
