[CI] automatic upgrade

project-everest · Jan 13, 2025 · fded635 · fded635
1 parent 5c819ec
commit fded635
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]=7ff2d936ba4c92910673a84a36d10d7231d54989
+hashes[FStar]=6bc791f44c266ce1e7d535093a2639b248fa4102
 branches[FStar]=master
 hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
 branches[hacl-star]=main