git.iko.soy/stackage
on master help sign in
Re-enable idris and close #1680
46b0586Adam Bergmark
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -901,7 +901,7 @@ packages:
901 - cabal-rpm
901 - cabal-rpm
902 - cabal-sort
902 - cabal-sort
903 - hslua
903 - hslua
904− # GHC 8 - idris
904+ - idris
905
905
906 - cairo
906 - cairo
907 - gio
907 - gio