# Needed only for verify_independent.py; verify.py uses the Python standard library.
python-flint==0.9.0
