HACL*: work around build dependency issues

project-everest · May 15, 2017 · 82af32b · 82af32b
1 parent 045dce6
commit 82af32b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hashes.sh b/hashes.sh
@@ -6,7 +6,7 @@ hashes[vale]=9995086dd32059798873342112bde343ac61300f
 branches[vale]=master
 hashes[FStar]=187bcc284ad075a2dcff0ac76f5479f75e1914f2
 branches[FStar]=master
-hashes[hacl-star]=9672d8f7cd92b66e6cac73e20742c72d0d59d451
+hashes[hacl-star]=aa3bac8a9c0776115f1d00d59695707f47977c28
 branches[hacl-star]=icfp2017aec
 hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
 branches[kremlin]=master