hpke-rs-evercrypt 0.1.2

Crypto backend for HPKE using formally verified code from Evercrypt.
{
  "git": {
    "sha1": "765fff0e8d40385e2838f048985d945b88c87b30"
  },
  "path_in_vcs": "evercrypt_provider"
}