diff --git a/.docker/build/config.json b/.docker/build/config.json
index 012c0231..9b54c663 100644
--- a/.docker/build/config.json
+++ b/.docker/build/config.json
@@ -29,7 +29,7 @@
 
     "ValeProject": {
         "recommended_z3_version": "4.8.5",
-        "recommended_fstar_version": "7a7dc377d52b91ea8c40a0146bfb4e8900e450ed",
-        "binary_release_vale_version": "0.3.16"
+        "recommended_fstar_version": "4421f806d6c182d72911cc64eba8a420c398b9aa",
+        "binary_release_vale_version": "0.3.17"
     }
 }