Skip to content

Commit b07a1e4

Browse files
committed
Advance HACL*
1 parent 45648d9 commit b07a1e4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

hashes.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ hashes[vale]=9995086dd32059798873342112bde343ac61300f
66
branches[vale]=master
77
hashes[FStar]=187bcc284ad075a2dcff0ac76f5479f75e1914f2
88
branches[FStar]=master
9-
hashes[hacl-star]=61b7a08a578cfb75be42c701b4a8df7a5624e01e
9+
hashes[hacl-star]=209abf53bbb0db9a5dd4ab9568a432ac0d06981c
1010
branches[hacl-star]=icfp2017aec
1111
hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
1212
branches[kremlin]=master

0 commit comments

Comments
 (0)