Skip to content

Commit

Permalink
build script works
Browse files Browse the repository at this point in the history
  • Loading branch information
@jtristan
jtristan committed Apr 24, 2024
1 parent 3396e2b commit 9a539db
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/prep.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@
VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip

wget $VERSION
unzip `basename $VERSION`
unzip `basename $VERSION`

0 comments on commit 9a539db

Please sign in to comment.