[CI] automatic upgrade

project-everest · Jan 31, 2024 · 0a1b816 · 0a1b816
1 parent 0766a6f
commit 0a1b816
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -4,9 +4,9 @@ hashes[everparse]=00217c4a89f5ba56002ba9aa5b4a9d5903bfe9fa
 branches[everparse]=master
 hashes[everquic-crypto]=cc4457e546cdb1e8f9a23d2e4fa387aab1a6b502
 branches[everquic-crypto]=master
-hashes[FStar]=4f802b4e299590816b2597f258718faac1372756
+hashes[FStar]=a48e0aa9935c2a22ea540f9f2734c5f847d96361
 branches[FStar]=master
-hashes[hacl-star]=b2bf522b679789ff190f9864cb69242fb033427b
+hashes[hacl-star]=513e026e7096639ee99f0c546c99e2f72f86fd6a
 branches[hacl-star]=main
 hashes[karamel]=fdf6a10aa22f9b1b3effffeeb270229447b5bb9b
 branches[karamel]=master
@@ -16,5 +16,5 @@ hashes[mitls-fstar]=6b3be13068797eb32aa32827992e082ecff2f5f5
 branches[mitls-fstar]=master
 hashes[MLCrypto]=190250bbb8f16e7c3f6a8d443b13600ada4fbe79
 branches[MLCrypto]=master
-hashes[steel]=c140dc384b20f6dcffa5e8f1d44833947764f565
+hashes[steel]=604dae0818aa4b52e266845f21a00a2236091c91
 branches[steel]=main