fix

Author: RitvikKapila

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -30,7 +30,7 @@ phases:
       # Approach 2: "The Quick Way:"
 
       # Download dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.7.0/dafny-4.7.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"