Switch HACL* to specific icfp2017aec branch

tahina-pro · tahina-pro · commit 45648d992ee5 · 2017-05-15T13:11:56.000-07:00
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]=35a7f6ccfdfe3d349470c3a77f85a4fbd2bfa657
-branches[hacl-star]=dev
+hashes[hacl-star]=61b7a08a578cfb75be42c701b4a8df7a5624e01e
+branches[hacl-star]=icfp2017aec
 hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
 branches[kremlin]=master
