seqloc-datafiles-0.1: src/rtsopts.c

char *ghc_rts_opts = "-A128m";