amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Update ocaml-qcheck to 0.20.

Browse source 
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.20.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
pukkamustard 2022-12-16 13:25:11 +00:00 • committed by Julien Lepiller
parent 17f5a0da47
commit fdf2b2e459
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/ocaml.scm
View file

@ -1688,7 +1688,7 @@ archive(native) = \"frontc.cmxa\""))))
(define-public ocaml-qcheck (define-public ocaml-qcheck
(package (package
(name "ocaml-qcheck") (name "ocaml-qcheck")
(version "0.18.1") (version "0.20")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -1697,12 +1697,12 @@ archive(native) = \"frontc.cmxa\""))))
(commit (string-append "v" version)))) (commit (string-append "v" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "0g3r8lrw6fsdphgpnp08saxyxk1vd3chpmb564ir2qnsp716vz6z")))) (base32 "1r0m5p1dd06lbgfxqdpl1ya4vb8252z7hqkvdi9k444g4rx2ay3p"))))
(build-system dune-build-system) (build-system dune-build-system)
(arguments (arguments
`(#:test-target ".")) `(#:test-target "."))
(propagated-inputs (propagated-inputs
(list ocaml-alcotest ocaml-ounit)) (list ocaml-alcotest ocaml-ounit ocaml-ppxlib))
(native-inputs (native-inputs
(list ocamlbuild)) (list ocamlbuild))
(properties `((ocaml4.07-variant . ,(delay ocaml4.07-qcheck)))) (properties `((ocaml4.07-variant . ,(delay ocaml4.07-qcheck))))