gnu: ocaml-qcheck: Update to 0.9.

* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.9.
This commit is contained in:
Julien Lepiller 2019-04-26 22:01:34 +02:00
parent 152cbc3ca5
commit 3f59ecfcb5
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 7 additions and 4 deletions

View File

@ -1183,7 +1183,7 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.")
(define-public ocaml-qcheck (define-public ocaml-qcheck
(package (package
(name "ocaml-qcheck") (name "ocaml-qcheck")
(version "0.5.3.1") (version "0.9")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -1192,10 +1192,13 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.")
(commit version))) (commit version)))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "0vl2asr7md99pv558nbszxvjj36b4l6rj05hyczfy524vihhl0gf")))) (base32 "0w83v9ylycsssyn47q8wnkfbvhn5vn10z6i35n5965i2m1r0mmcf"))))
(build-system ocaml-build-system) (build-system dune-build-system)
(arguments
`(#:test-target "."))
(native-inputs (native-inputs
`(("ounit" ,ocaml-ounit) `(("ocaml-alcotest" ,ocaml-alcotest)
("ocaml-ounit" ,ocaml-ounit)
("ocamlbuild" ,ocamlbuild))) ("ocamlbuild" ,ocamlbuild)))
(home-page "https://github.com/c-cube/qcheck") (home-page "https://github.com/c-cube/qcheck")
(synopsis "QuickCheck inspired property-based testing for OCaml") (synopsis "QuickCheck inspired property-based testing for OCaml")