diff --git a/.docker/build/config.json b/.docker/build/config.json
index ec256973..ac3e4bd4 100644
--- 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"
     }
 }