Skip to content

Commit

Permalink
[CI] automatic upgrade
Browse files Browse the repository at this point in the history
  • Loading branch information
@dzomo
dzomo committed Jan 16, 2025
1 parent 7391912 commit b200fce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hashes.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ hashes[everparse]=2a810a7f72452e4e29c80d101122949dc0fc6ccf
branches[everparse]=master
hashes[everquic-crypto]=6d73306fea04f22768fb876db5c092f4ac4fe60d
branches[everquic-crypto]=master
hashes[FStar]=b9200e33b5defe0ba7c2a90322de23db201ed788
hashes[FStar]=7cd7efc05ef2bb5b4efa8ab3d473d96e41b60ce3
branches[FStar]=master
hashes[hacl-star]=7dd74c390311de52f1b1ad1a5509f1a81aa52552
branches[hacl-star]=main
Expand Down

0 comments on commit b200fce

Please sign in to comment.