From 1c3f3ebb3d26faeeb4acf2c41461cb49a8077a35 Mon Sep 17 00:00:00 2001 From: Stefan Zetzsche <120379523+stefan-aws@users.noreply.github.com> Date: Thu, 5 Oct 2023 16:49:40 +0100 Subject: [PATCH] Upgrade to 4.3 (#84) By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt). --- scripts/prep.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/prep.sh b/scripts/prep.sh index 25721a4c..7dbb39d4 100755 --- a/scripts/prep.sh +++ b/scripts/prep.sh @@ -1,6 +1,6 @@ #!/bin/bash -VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip +VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.3.0/dafny-4.3.0-x64-ubuntu-20.04.zip wget $VERSION unzip `basename $VERSION` \ No newline at end of file