example.patch
soname.patch
fix-doc-path.patch
fix-gmp-detect.patch
linboxsage-link-iml.patch
