remove idris comment
commit512b23cf5110999c3b900698f89a063bb8e7ec87
authorJens Petersen <juhpetersen@gmail.com>
dateTue 2 May 2017, 16:50 (9 years ago)
parent82f051c
build-constraints.yaml+1−1
@@ -1089,7 +1089,7 @@ packages:
10891089 - cabal-rpm
10901090 - stackage-query
10911091 # - cabal-sort # BLOCKED directory 1.3
1092− - idris # bounds: safe
1092+ - idris
10931093 - libffi
10941094 - xmonad-contrib
10951095 - shelly