diff --git a/hashes.sh b/hashes.sh
index af36e98c..422cb5be 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -6,7 +6,7 @@ hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
 hashes[FStar]=a3be6122b76ec0ca29030e1ff72576dceeede19d
 branches[FStar]=master
-hashes[hacl-star]=293cf9094f0439006a62f86f7bc92901c0333cbc
+hashes[hacl-star]=2d3d7e6a366dd50b7831c2e6fad9ab4ff086fdc7
 branches[hacl-star]=main
 hashes[karamel]=f82ecfe9b99edd64642d47b4e3fb6314a8e2320b
 branches[karamel]=master
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=d5c8c0a7a9ed265a3615cb503aee608682f918d1
+hashes[pulse]=dbc08edde689e6d1e8ae0f18ade8b210dabf0b96
 branches[pulse]=main
-hashes[steel]=59f647ce267089d03a0d7a68ffacfc9604e9a363
+hashes[steel]=9d7ecfcead4174d1056b8c77b9575dbf8cd632d5
 branches[steel]=main