diff --git a/hashes.sh b/hashes.sh
index 04184025..9454f399 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -1,14 +1,14 @@
 declare -A hashes
 declare -A branches
-hashes[everparse]=d9f0010810c0d6a3817f9891a1ca60213833b4b0
+hashes[everparse]=27701bf4d6b58c7347261f7b82199005176fefcc
 branches[everparse]=master
 hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
-hashes[FStar]=9ec5695688344d0da59fb636723004b3c2f5175d
+hashes[FStar]=0dcfea34e90179cebdc3ed26399ac0d5c8f925f5
 branches[FStar]=master
 hashes[hacl-star]=dfc6900f905953ba584265a7a1690f1681a0e468
 branches[hacl-star]=main
-hashes[karamel]=84f64da8e4eb8b0d6d9c3fe75fcd116ee28e67d8
+hashes[karamel]=59a3a41013df1d3989ed38f6e48c4ed1d5acfa44
 branches[karamel]=master
 hashes[merkle-tree]=e905cd82f7e6fd734062e9d0bf8a9d4b02a7b8e8
 branches[merkle-tree]=main
@@ -16,7 +16,7 @@ hashes[mitls-fstar]=e9805d0173eb6f8addcca6ea8ad4e7c8f2046689
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[pulse]=efae029e58812c3b3e1d67d117c99e0beb008842
+hashes[pulse]=6cfc9c3c5ef689a43eeded2130b900c0f5e862c2
 branches[pulse]=main
-hashes[steel]=90d7ce2b7187dbf108b2c705ee09bba76343187e
+hashes[steel]=0f3e79acf1b53f76172bdaf5b84196d62e2018a5
 branches[steel]=main