Test HACL* as of miTLS 83d74f3

project-everest · Jun 5, 2018 · 658b308 · 658b308
1 parent 756cff6
commit 658b308
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.hacl_version b/.hacl_version
@@ -1 +1 @@
-origin/fstar-master
+d669ec05