Skip to content

Commit

Permalink
try
Browse files Browse the repository at this point in the history
  • Loading branch information
@msprotz
msprotz committed Jun 3, 2024
1 parent 6d7f53e commit 8a05168
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 @@ -8,7 +8,7 @@ hashes[FStar]=9820798dcc31cd1ea5c164611a67f58ade0b7655
branches[FStar]=master
hashes[hacl-star]=9149b0c26b06a8e06a0920a07c33ddd18d94c519
branches[hacl-star]=main
hashes[karamel]=12d008a4204f75a1c408fae36322363bcb55f5a5
hashes[karamel]=d41086061098b3432cbf17b3b6a32e06ce0ac41f
branches[karamel]=protz_trait_methods
hashes[merkle-tree]=99fc1dcf0de8278fbe440e07a892226f5521f38c
branches[merkle-tree]=main
Expand Down

0 comments on commit 8a05168

Please sign in to comment.