on master help sign in
add back idris
commitdd9d35707964b39639641ac6f9c5f518be2961e0 authorJens Petersen <juhpetersen@gmail.com> dateTue 9 Jan 2018, 12:20 (9 years ago) parent98c83e3
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -1113,6 +1113,7 @@ packages:
11131113 - cabal-rpm
11141114 - fedora-haskell-tools
11151115
1116+ - idris
11161117 - libffi
11171118 - xmonad-contrib
11181119 - cairo