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

victor-dumitrescu wants to merge 1 commit intomasterproject-everest/everest:masterfrom

vdum_opamproject-everest/everest:vdum_opamCopy head branch name to clipboard