add idris and libffi

This commit is contained in:
Jens Petersen 2017-04-02 21:32:04 +09:00
parent a360241d5f
commit ee13a34f96

View File

@ -1067,7 +1067,8 @@ packages:
"Jens Petersen <juhpetersen@gmail.com> @juhp":
- cabal-rpm
# - cabal-sort # BLOCKED directory 1.3
# - idris # bounds: safe
- idris # bounds: safe
- libffi
- xmonad-contrib
- shelly