Merge pull request #1375 from juhp/master
add idris (idris-lang/idris-dev#2501)
commit5898dff8c7d5f3f59007f95ecc1060e6788fa341
authorJens Petersen <juhpetersen@gmail.com>
dateWed 20 Apr 2016, 14:39 (11 years ago)
parent7b7f532c574125
build-constraints.yaml+1
@@ -908,6 +908,7 @@ packages:
908908 - ghcjs-codemirror
909909 - ghcjs-dom
910910 - gtksourceview3
911+ - idris
911912 - jsaddle
912913 - leksah-server
913914 - ltk