hacl 0.0.2

Crypto library using formally verified code from the HACL project
1
2
3
4
5
6

{
  "git": {
    "sha1": "e4b4f23780fca21aa5a52fc20623b1b9b4b91abf"
  },
  "path_in_vcs": "rust"
}