mirage / hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
https://github.com/mirage/mirage-crypto
Other
20 stars 5 forks source link

revert changes to kremlib*h (new ocaml-freestanding no longer needs them) #31

Closed hannesm closed 4 years ago

hannesm commented 4 years ago

adapt dune-project

this reverts the changes to kremlib done in #29

dinosaure commented 4 years ago

Thanks, you should prepare a release now.