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