[CI] automatic upgrade

project-everest · Oct 19, 2024 · daaaa78 · daaaa78
1 parent 3ffc246
commit daaaa78
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hashes.sh b/hashes.sh
@@ -4,9 +4,9 @@ hashes[everparse]=444a1d68666a382b071773bb9e91033384a3739a
 branches[everparse]=master
 hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
 branches[everquic-crypto]=master
-hashes[FStar]=e6e35c24288b863f004d2ed05ebfb7df75a71b32
+hashes[FStar]=adc24f9ac2ef720a9b094ae97ae89ad9495c3643
 branches[FStar]=master
-hashes[hacl-star]=6c288ea6d1498554d72ed6c22b0d328175dec309
+hashes[hacl-star]=63552c2ebebd395bebc02829729697133fb04451
 branches[hacl-star]=main
 hashes[karamel]=c31a22c1e07d2118c07ee5cebb640d863e31a198
 branches[karamel]=master