Add opam dependencies qcheck-core, secp256k1-internal - Githubissues

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Add opam dependencies qcheck-core, secp256k1-internal #95

Open victor-dumitrescu opened 1 year ago

victor-dumitrescu commented 1 year ago

Required for https://github.com/hacl-star/hacl-star/pull/731