gnu: binsec: Update to 0.10.0.

* gnu/packages/ocaml.scm (binsec): Update to 0.10.0.

Change-Id: I9bca10b74b6bc7d9b2f26710ef3fc10fc91fba4e
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
This commit is contained in:
Sören Tempel 2024-03-11 11:22:15 +01:00 committed by Nicolas Goaziou
parent 56ad75cdab
commit 82b8767456
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D

View file

@ -1408,7 +1408,7 @@ Knuths LR(1) parser construction technique.")
(define-public binsec (define-public binsec
(package (package
(name "binsec") (name "binsec")
(version "0.8.1") (version "0.10.0")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -1417,7 +1417,7 @@ Knuths LR(1) parser construction technique.")
(commit version))) (commit version)))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "0j6lwj20jaq0702v2fqvsrax1400zqbvz5q2cmjqhvrjzcfcl0kr")))) (base32 "1szfqb6rj19w2jdyaxdgy3plhgr7picijf7l4k5qq80kna2h0zm8"))))
(build-system dune-build-system) (build-system dune-build-system)
(native-inputs (list gmp ocaml-qcheck ocaml-ounit2)) (native-inputs (list gmp ocaml-qcheck ocaml-ounit2))
(propagated-inputs (list dune-site (propagated-inputs (list dune-site