From 8a05168c5b4ddffdf19101f63a027d13791be0e6 Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Mon, 3 Jun 2024 14:52:41 -0700 Subject: [PATCH] try --- hashes.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hashes.sh b/hashes.sh index 31512441..da172989 100644 --- a/hashes.sh +++ b/hashes.sh @@ -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