remove idris comment

This commit is contained in:
Jens Petersen 2017-05-02 16:50:48 +09:00
parent 82f051cbac
commit 512b23cf51

View File

@ -1089,7 +1089,7 @@ packages:
- cabal-rpm
- stackage-query
# - cabal-sort # BLOCKED directory 1.3
- idris # bounds: safe
- idris
- libffi
- xmonad-contrib
- shelly