diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-04 11:23:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-04 18:23:36 +0000 |
| commit | 6aef06e6fed867eb014e08859139c8c610c7cce4 (patch) | |
| tree | 4b72591ddbbd2dfcab7760de69adb7b6c287746b | |
| parent | 622865024f83cefee01f56271ba2dfae4984d0d0 (diff) | |
Fix links in README.md (#7568)
This PR fixes links to releases and nightly builds. Fixes #7016.
| -rw-r--r-- | README.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -46,9 +46,10 @@ Download The latest version of cvc5 is available on GitHub: https://github.com/cvc5/cvc5 -Source tar balls and binaries for releases and latest stable builds of the -[master branch](https://github.com/cvc5/cvc5) on GitHub can be -found [here](http://cvc5.github.io/downloads). +Source tar balls and binaries for releases of the +[master branch](https://github.com/cvc5/cvc5) can be +found [here](https://github.com/cvc5/cvc5/releases). +Nightly builds are available [here](https://cvc4.github.io/downloads). Build and Dependencies |