projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ec3005) | patch
Only require GMP 6.1 (#6332)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 12 Apr 2021 20:19:22 +0000 (22:19 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Apr 2021 20:19:22 +0000 (20:19 +0000)
commitc422f03d3169d4dc8d5b333de12be14e9121bc93
tree97b4add4456be136ce13ce65859e876f5cccf601tree
parent7ec30058750611786b1b597816c8a23e28bb5812commit | 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.
CMakeLists.txt diff | blob | history