Skip to content

Commit

Permalink
Advance HACL*
Browse files Browse the repository at this point in the history
  • Loading branch information
@tahina-pro
tahina-pro committed Feb 28, 2017
1 parent 90a81cd commit ceb7831
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hashes.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ hashes[mitls-fstar]=4298d5b362e2795f53ca70cf4988f6c1d3326df1
branches[mitls-fstar]=master
hashes[FStar]=0856387bbf6ad161df9e385902f7b35d1200f055
branches[FStar]=master
hashes[hacl-star]=9246c8dea14d9e289bab61f7c76e5fd2e4718936
hashes[hacl-star]=acc3c3addda3a36436bbd1ae0dfba053612f073c
branches[hacl-star]=jk_snap
hashes[kremlin]=6369e062fe01ed8b364ed7c7deacfe6652a93196
branches[kremlin]=master

0 comments on commit ceb7831

Please sign in to comment.