Binary release

project-everest · May 18, 2019 · cc2009a · cc2009a
1 parent 8d9ab1f
commit cc2009a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -30,6 +30,6 @@
     "ValeProject": {
         "recommended_z3_version": "4.5.1",
         "recommended_fstar_version": "dfcd66fe5064b84b6b737627fa7712276c9d668e",
-        "binary_release_vale_version": "0.3.2"
+        "binary_release_vale_version": "0.3.3"
     }
 }