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	Add the flint2 library (#1988)	2017-11-03 16:54:44 -07:00
portfile.cmake	[vcpkg] fatal_error when patch fails to apply (#8087)	2019-10-07 10:35:13 -07:00