projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36892a5) | patch
Update CoCoALib version (#8757)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 13 May 2022 01:15:27 +0000 (18:15 -0700)
committerGitHub <noreply@github.com>
Fri, 13 May 2022 01:15:27 +0000 (01:15 +0000)
commitac44a9b53b367c32dfa756dbde76920d4785d03b
tree17f562fd83685bc1e833fc341343cd450d4b98e3tree
parent36892a5bb9ad1bf2145912700f5998f971bb167acommit | diff
Update CoCoALib version (#8757)

This PR updates our cmake scripts for CoCoALib to use the latest and greatest version.
While we don't actually want to use any of the new features, the new version finally uses an Apache license!
cmake/FindCoCoA.cmake diff | blob | history
cmake/deps-utils/CoCoA-patch-0.99712.patch [deleted file] blob | history