diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-12 22:19:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-12 20:19:22 +0000 |
commit | c422f03d3169d4dc8d5b333de12be14e9121bc93 (patch) | |
tree | 97b4add4456be136ce13ce65859e876f5cccf601 /src | |
parent | 7ec30058750611786b1b597816c8a23e28bb5812 (diff) |
Only require GMP 6.1 (#6332)
The recent refactoring of the dependencies raised the required GMP version to 6.2 for no particular reason. This PR reverts this change to only require GMP 6.1 again.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions