on master help sign in
set idris ffi flag
ef1bdd8Jens Petersen
build-constraints.yaml+3
@@ -3148,6 +3148,9 @@ package-flags:
3148 hpio:
3148 hpio:
3149 test-hlint: false
3149 test-hlint: false
3150
3150
3151+ idris:
3152+ ffi: true
3153+
3151 minio-hs:
3154 minio-hs:
3152 live-test: false
3155 live-test: false
3153
3156