[CI] automatic upgrade

project-everest · Jan 17, 2025 · 89f3dca · 89f3dca
1 parent 562c9ea
commit 89f3dca
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -6,9 +6,9 @@ hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
 hashes[FStar]=ca2bf0cb1e09e9b1598e86f6e2a00e7c63b58def
 branches[FStar]=master
-hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
+hashes[hacl-star]=a4d042715fe031186d96110888b209ad131dd5d5
 branches[hacl-star]=main
-hashes[karamel]=3274408c4ea64648b3d246c0fd5e7f32051500db
+hashes[karamel]=fcadb9ce4cf626023cab0abc7f4feb0f8bf75f2f
 branches[karamel]=master
 hashes[merkle-tree]=a63707c0f33b3ca23e42a4a95391664898b987cd
 branches[merkle-tree]=main