on master help sign in
Idris-dev/custom.mk-alldeps
1 line 101 B history raw
1CABALFLAGS += -f GMP -f FFI --disable-documentation --disable-profiling --disable-library-profiling