vcpkg/ports/flint
Stefano Sinigardi 726c111481 [vcpkg] fatal_error when patch fails to apply (#8087)
vcpkg will now fail on failure to apply patches except when using `--head`.
2019-10-07 10:35:13 -07:00
..
CONTROL [vcpkg] fatal_error when patch fails to apply (#8087) 2019-10-07 10:35:13 -07:00
dll_flint.patch [pthread] update to v3 (#6473) 2019-05-16 13:49:25 -07:00
lib_flint.patch
portfile.cmake [vcpkg] fatal_error when patch fails to apply (#8087) 2019-10-07 10:35:13 -07:00