me
/
guix
Archived
1
0
Fork 0

gnu: hevea: Update to 2.33.

* gnu/packages/ocaml.scm (hevea): Update to 2.33.
master
Tobias Geerinckx-Rice 2020-02-23 05:29:05 +01:00
parent ab99ef659b
commit c917c23e72
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 4 additions and 4 deletions

View File

@ -582,21 +582,21 @@ concrete syntax of the language (Quotations, Syntax Extensions).")
(define-public hevea (define-public hevea
(package (package
(name "hevea") (name "hevea")
(version "2.32") (version "2.33")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://hevea.inria.fr/old/" (uri (string-append "http://hevea.inria.fr/old/"
name "-" version ".tar.gz")) "hevea-" version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1s4yqphfcr1pf5mcj5c84mvmd107k525iiym5jdwsxz0ka0ccmfy")))) "0115bn6n6hhb08rmj0m508wjcsn1mggiagqly6s941pq811wxymb"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("ocaml" ,ocaml))) `(("ocaml" ,ocaml)))
(native-inputs (native-inputs
`(("ocamlbuild" ,ocamlbuild))) `(("ocamlbuild" ,ocamlbuild)))
(arguments (arguments
`(#:tests? #f ; no test suite `(#:tests? #f ; no test suite
#:make-flags (list (string-append "PREFIX=" %output)) #:make-flags (list (string-append "PREFIX=" %output))
#:phases (modify-phases %standard-phases #:phases (modify-phases %standard-phases
(delete 'configure) (delete 'configure)