projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6999224) | patch
Update INSTALL.md (#6412)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 22 Apr 2021 19:55:41 +0000 (21:55 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 19:55:41 +0000 (19:55 +0000)
commitc84d66ed370f417bd410c3c7ae5c1db82e637452
treec3f2970e5b2cf834bae85627f09b9cf35ad9c6ectree
parent69992245e3d2326ca8ecf2295a7e03d395046fc1commit | diff
Update INSTALL.md (#6412)

This PR updates our build and installation instructions in INSTALL.md after we have changed how we handle dependencies.
Thanks @polgreen / #6391.
INSTALL.md diff | blob | history