Skip to content

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

Merged
oscarbenjamin merged 1 commit into
flintlib:masterfrom
oscarbenjamin:pr_gmp
Dec 19, 2022
Merged

fix: use GMP rather than MPIR for Linux wheels#40
oscarbenjamin merged 1 commit into
flintlib:masterfrom
oscarbenjamin:pr_gmp

fix: use GMP rather than MPIR for Linux wheels

f5835fd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs