git.iko.soy/stackage
on master help sign in
add back idris
dd9d357Jens Petersen
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -1113,6 +1113,7 @@ packages:
1113 - cabal-rpm
1113 - cabal-rpm
1114 - fedora-haskell-tools
1114 - fedora-haskell-tools
1115
1115
1116+ - idris
1116 - libffi
1117 - libffi
1117 - xmonad-contrib
1118 - xmonad-contrib
1118 - cairo
1119 - cairo