add idris (idris-lang/idris-dev#2501)
commitc5741255b522ef9e652e41e76eb8488256c47264
authorJens Petersen <petersen@redhat.com>
dateWed 20 Apr 2016, 10:18 (11 years ago)
parent7b7f532
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