mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: ocaml-earley: Update to 3.0.0.
* gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0. Use latest ocaml version.
This commit is contained in:
parent
ef79d6c5d6
commit
4fa62cf702
1 changed files with 7 additions and 8 deletions
|
@ -4381,10 +4381,10 @@ for programming languages, but also for manipulating terms of the λ-calculus
|
||||||
or quantified formulas.")
|
or quantified formulas.")
|
||||||
(license license:gpl3+)))
|
(license license:gpl3+)))
|
||||||
|
|
||||||
(define-public ocaml4.07-earley
|
(define-public ocaml-earley
|
||||||
(package
|
(package
|
||||||
(name "ocaml4.07-earley")
|
(name "ocaml-earley")
|
||||||
(version "2.0.0")
|
(version "3.0.0")
|
||||||
(home-page "https://github.com/rlepigre/ocaml-earley")
|
(home-page "https://github.com/rlepigre/ocaml-earley")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
|
@ -4395,13 +4395,12 @@ or quantified formulas.")
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"18k7bi7krc4bvqnhijz1q0pfr0nfahghfjifci8rh1q4i5zd0xz5"))))
|
"1vi58zdxchpw6ai0bz9h2ggcmg8kv57yk6qbx82lh47s5wb3mz5y"))))
|
||||||
(build-system dune-build-system)
|
(build-system dune-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:test-target "."
|
`(#:test-target "."))
|
||||||
#:ocaml ,ocaml-4.07
|
(propagated-inputs
|
||||||
#:findlib ,ocaml4.07-findlib
|
`(("ocaml-stdlib-shims" ,ocaml-stdlib-shims)))
|
||||||
#:dune ,ocaml4.07-dune))
|
|
||||||
(synopsis "Parsing library based on Earley Algorithm")
|
(synopsis "Parsing library based on Earley Algorithm")
|
||||||
(description "Earley is a parser combinator library base on Earley's
|
(description "Earley is a parser combinator library base on Earley's
|
||||||
algorithm. It is intended to be used in conjunction with an OCaml syntax
|
algorithm. It is intended to be used in conjunction with an OCaml syntax
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue