diff --git a/hashes.sh b/hashes.sh
index d04d5b93..17156f71 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -1,10 +1,10 @@
 declare -A hashes
 declare -A branches
-hashes[everparse]=afb6fff36700bb31175a186141403a24faf75ec4
+hashes[everparse]=446a08ce38df905547cf20f28c43776b22b8087a
 branches[everparse]=master
 hashes[everquic-crypto]=76c14ada5db16b85a33920d826df0552e4c3cf10
 branches[everquic-crypto]=master
-hashes[FStar]=05c56274ce0a6ad664605ce6a6ed58ffba08a127
+hashes[FStar]=93708afcd948d8d578858a7a45b0ac3d55ac680d
 branches[FStar]=master
 hashes[hacl-star]=48ed3d12837b3ecd0f3bb0365bf344a753c9cc5d
 branches[hacl-star]=main
@@ -12,9 +12,9 @@ hashes[karamel]=7460546b9dd1a61b882f97de52c8fcc60cb09bbd
 branches[karamel]=master
 hashes[merkle-tree]=3b0f086655c145aa23f58a97259ebf4cf112a4a3
 branches[merkle-tree]=main
-hashes[mitls-fstar]=148206939f9897901d10a6b105044539d04d702a
+hashes[mitls-fstar]=756f89ccbecf9a38a07378c1ce46bf6e180a183d
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[steel]=27621c3fd5a4d9f745f265cc51196fdde5287c12
+hashes[steel]=a75c0f9e25693fdba6a5c0042645725fa0d72e8c
 branches[steel]=main