Julian Ospald 0da5572164 Don't need --bignum option		2023-07-07 23:20:16 +08:00
..
ghcup	Don't need --bignum option	2023-07-07 23:20:16 +08:00