diff options
| author | Stefano Sinigardi <stesinigardi@hotmail.com> | 2019-10-07 19:35:13 +0200 |
|---|---|---|
| committer | Curtis J Bezault <curtbezault@gmail.com> | 2019-10-07 10:35:13 -0700 |
| commit | 726c11148105a97aef39bec024fdb7c140b1b154 (patch) | |
| tree | 26bd2aee0c13a8351b259cc4ffffaf0efededb4e /ports/flint/CONTROL | |
| parent | e86ff2cc54bda9e9ee322ab69141e7113d5c40a9 (diff) | |
| download | vcpkg-726c11148105a97aef39bec024fdb7c140b1b154.tar.gz vcpkg-726c11148105a97aef39bec024fdb7c140b1b154.zip | |
[vcpkg] fatal_error when patch fails to apply (#8087)
vcpkg will now fail on failure to apply patches except when using `--head`.
Diffstat (limited to 'ports/flint/CONTROL')
| -rw-r--r-- | ports/flint/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/flint/CONTROL b/ports/flint/CONTROL index 9b45b6608..cac9d2569 100644 --- a/ports/flint/CONTROL +++ b/ports/flint/CONTROL @@ -1,5 +1,5 @@ Source: flint -Version: 2.5.2-3 +Version: 2.5.2-4 Homepage: https://www.flintlib.org/ Description: Fast Library for Number Theory Build-Depends: mpir, mpfr, pthreads, gettimeofday |