diff --git a/hashes.sh b/hashes.sh
index 74e8714e..2b2e34e2 100644
--- a/hashes.sh
+++ b/hashes.sh
@@ -6,7 +6,7 @@ hashes[everquic-crypto]=76c14ada5db16b85a33920d826df0552e4c3cf10
 branches[everquic-crypto]=master
 hashes[FStar]=f7c80bf6814f1af74719e05a2126d2d21a01c50d
 branches[FStar]=master
-hashes[hacl-star]=9d9bd322463d71b739b22aabed5d833517be4c20
+hashes[hacl-star]=48ed3d12837b3ecd0f3bb0365bf344a753c9cc5d
 branches[hacl-star]=main
 hashes[karamel]=f3c3c7a3e7d6aea1c1d05b705eea99688f44f153
 branches[karamel]=master