From 6aef06e6fed867eb014e08859139c8c610c7cce4 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 4 Nov 2021 11:23:36 -0700 Subject: [PATCH] Fix links in README.md (#7568) This PR fixes links to releases and nightly builds. Fixes #7016. --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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 -- 2.30.2