Upgrade to 4.3 (#84)

<small>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).</small>
dafny-lang · Oct 5, 2023 · 1c3f3eb · 1c3f3eb
1 parent abf9adc
commit 1c3f3eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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`