upstream-libtool-versioning.patch
upstream-libtool-version_script.patch
debianization.patch
flint-2.7.patch
flint-2.7-conditional.patch
