From: Gereon Kremer Date: Thu, 4 Nov 2021 18:23:36 +0000 (-0700) Subject: Fix links in README.md (#7568) X-Git-Tag: cvc5-1.0.0~892 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6aef06e6fed867eb014e08859139c8c610c7cce4;p=cvc5.git Fix links in README.md (#7568) This PR fixes links to releases and nightly builds. Fixes #7016. --- diff --git a/README.md b/README.md index 254034811..57b490ac6 100644 --- a/README.md +++ b/README.md @@ -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