diff --git a/hashes.sh b/hashes.sh
index 496400ab..361e1707 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -4,7 +4,7 @@ hashes[everparse]=2a810a7f72452e4e29c80d101122949dc0fc6ccf
 branches[everparse]=master
 hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
-hashes[FStar]=b9200e33b5defe0ba7c2a90322de23db201ed788
+hashes[FStar]=7cd7efc05ef2bb5b4efa8ab3d473d96e41b60ce3
 branches[FStar]=master
 hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
 branches[hacl-star]=main