Make FLINT 3.4 the minimum supported version - #424

Merged

oscarbenjamin merged 8 commits into

flintlib:mainfrom

oscarbenjamin:pr_flint34min

Aug 30, 2026

Commits on Aug 29, 2026

Make FLINT 3.4 the minimum supported version
oscarbenjamin
committed
3d3380a
Renable some previously disabled tests (due to old FLINT versions)
oscarbenjamin
committed
5b13ee9
Add comments to explain missing gr_is_integer methods
oscarbenjamin
committed
a99a4b1
Reenable gr_mpoly test
oscarbenjamin
committed
87c8837
Reenable gr_nf tests
oscarbenjamin
committed
0f0cfb7
Simplifyacb_theta type annotations
oscarbenjamin
committed
7561560
Remove cruft for building old dependency versions
oscarbenjamin
committed
ddbe531

Commits on Aug 30, 2026

Try simplifying the pkgconfig handling on Windows
oscarbenjamin
committed
b9a8839