git.iko.soy/stackage
on master help sign in
set idris ffi flag
commitef1bdd81e54f7b614204641c02c7e9217196bfa6 authorJens Petersen <juhpetersen@gmail.com> dateMon 3 Apr 2017, 17:39 (10 years ago) parent1586e6f
1 file changed+3
compare with master
unifiedsplit
build-constraints.yaml+3
build-constraints.yaml+3
@@ -3148,6 +3148,9 @@ package-flags:
31483148 hpio:
31493149 test-hlint: false
31503150
3151+ idris:
3152+ ffi: true
3153+
31513154 minio-hs:
31523155 live-test: false
31533156