add back idris

This commit is contained in:
Jens Petersen 2018-01-09 12:20:09 +09:00
parent 98c83e3a2f
commit dd9d357079

View File

@ -1113,6 +1113,7 @@ packages:
- cabal-rpm
- fedora-haskell-tools
- idris
- libffi
- xmonad-contrib
- cairo