From 7f4efb199e8cf0ec481b078c0c7b87c9c2aa9e18 Mon Sep 17 00:00:00 2001
From: "Dzomo, the Everest Yak" <24394600+dzomo@users.noreply.github.com>
Date: Wed, 15 Jan 2025 06:37:30 +0000
Subject: [PATCH] [CI] automatic upgrade

---
 hashes.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hashes.sh b/hashes.sh
index 028ef628..790e3b33 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]=9586bc207f52e098b9fa67ccc4481b373828d6eb
+hashes[FStar]=8d3b529106551e4c208b274afb6f4384f7cb8770
 branches[FStar]=master
 hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
 branches[hacl-star]=main