Update cryptol-hash-functions.markdown