projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6228650) | patch
Fix links in README.md (#7568)
authorGereon Kremer <nafur42@gmail.com>
Thu, 4 Nov 2021 18:23:36 +0000 (11:23 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Nov 2021 18:23:36 +0000 (18:23 +0000)
commit6aef06e6fed867eb014e08859139c8c610c7cce4
tree4b72591ddbbd2dfcab7760de69adb7b6c287746btree
parent622865024f83cefee01f56271ba2dfae4984d0d0commit | diff
 Fix links in README.md (#7568)

This PR fixes links to releases and nightly builds. Fixes #7016.
README.md diff | blob | history