Put in earplugs
This commit is contained in:
parent
385d75d803
commit
ac55b19754
1 changed files with 3 additions and 1 deletions
|
@ -326,7 +326,9 @@ string format.")
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "1ar416qlrb2qrnlm7vw7lzg860nrg9vw8p3rnx16xy8ryj6z5pix"))))
|
(base32 "1ar416qlrb2qrnlm7vw7lzg860nrg9vw8p3rnx16xy8ryj6z5pix"))))
|
||||||
(build-system dune-build-system)
|
(build-system dune-build-system)
|
||||||
(propagated-inputs (list ocaml-ppxlib ocaml-odoc))
|
(propagated-inputs (list ocaml-ppxlib
|
||||||
|
ocaml-ounit2
|
||||||
|
ocaml-odoc))
|
||||||
(native-inputs (list ocaml-alcotest))
|
(native-inputs (list ocaml-alcotest))
|
||||||
(home-page "https://github.com/c-cube/qcheck/")
|
(home-page "https://github.com/c-cube/qcheck/")
|
||||||
(synopsis "Core qcheck library")
|
(synopsis "Core qcheck library")
|
||||||
|
|
Loading…
Reference in a new issue