New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Minor doc fixes (one requires verification) #2051

Merged

vneiger merged 3 commits into flintlib:main from vneiger:minor_doc_fixes

Aug 23, 2024

Merged

fix doc to mention the normalized requirement

Annotations

5 warnings

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

mpfr 4.2.1 is already installed and up-to-date. To reinstall 4.2.1, run: brew reinstall mpfr

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

libtool 2.4.7 is already installed and up-to-date. To reinstall 2.4.7, run: brew reinstall libtool

openblas 0.3.28 is already installed and up-to-date. To reinstall 0.3.28, run: brew reinstall openblas