Re-enable idris and close #1680
commit46b058657a70ca97f5d1651257dc83b55c2b4b77
authorAdam Bergmark <adam@bergmark.nl>
dateSun 31 Jul 2016, 16:42 (10 years ago)
parent0309711
build-constraints.yaml+1−1
@@ -901,7 +901,7 @@ packages:
901901 - cabal-rpm
902902 - cabal-sort
903903 - hslua
904− # GHC 8 - idris
904+ - idris
905905
906906 - cairo
907907 - gio