Binary release

project-everest · May 7, 2019 · f85fa9c · f85fa9c
1 parent c972792
commit f85fa9c
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.1"
+        "binary_release_vale_version": "0.3.2"
     }
 }