[wrap-git] url = https://github.com/flintlib/flint.git revision = main depth = 1 patch_directory = flint [provide] dependency_names = flint
