fix: use GMP rather than MPIR for Linux wheels#40

Merged

oscarbenjamin merged 1 commit intoflintlib:masterfrom oscarbenjamin:pr_gmp

Dec 19, 2022

+1-1

Commits on Dec 19, 2022

fix: use GMP rather than MPIR for Linux wheels
oscarbenjamin
committed