Re-enable idris and close #1680

This commit is contained in:
Adam Bergmark 2016-07-31 16:42:15 +02:00
parent 0309711f78
commit 46b058657a

View File

@ -901,7 +901,7 @@ packages:
- cabal-rpm
- cabal-sort
- hslua
# GHC 8 - idris
- idris
- cairo
- gio