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 254034811f1ff1acc361f738bacaf186c8a0cba3..57b490ac66ba6d92d3e8c9e1218a52f96cfcb35c 100644 (file)
--- 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