on d7b2913 help sign in
Idris-dev/custom.mk-alldeps
2 lines 30 B history raw
1CABALFLAGS += -f LLVM -f FFI