From ec8ae1ba972427e1b19e184bbace5ae86cf60404 Mon Sep 17 00:00:00 2001
From: "Dzomo, the Everest Yak" <everbld@microsoft.com>
Date: Mon, 3 Jun 2024 18:36:26 +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 1a7dc3df..e17fc971 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -6,7 +6,7 @@ hashes[everquic-crypto]=c773c8e7de1bb51369561723e9cae618339e162d
 branches[everquic-crypto]=master
 hashes[FStar]=9820798dcc31cd1ea5c164611a67f58ade0b7655
 branches[FStar]=master
-hashes[hacl-star]=9149b0c26b06a8e06a0920a07c33ddd18d94c519
+hashes[hacl-star]=5ec960b861e3d7f2d29f8f0112034dda8a2ae6db
 branches[hacl-star]=main
 hashes[karamel]=1b809c2917853d1117034c78d978ac19642aa84a
 branches[karamel]=master