[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/09: gnu: hevea: Update to 2.33.
From: |
guix-commits |
Subject: |
03/09: gnu: hevea: Update to 2.33. |
Date: |
Sun, 23 Feb 2020 11:57:04 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit c917c23e7295370e42c4aff40219a60066607378
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sun Feb 23 05:29:05 2020 +0100
gnu: hevea: Update to 2.33.
* gnu/packages/ocaml.scm (hevea): Update to 2.33.
---
gnu/packages/ocaml.scm | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 3adc872..2bf9672 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -582,21 +582,21 @@ concrete syntax of the language (Quotations, Syntax
Extensions).")
(define-public hevea
(package
(name "hevea")
- (version "2.32")
+ (version "2.33")
(source (origin
(method url-fetch)
(uri (string-append "http://hevea.inria.fr/old/"
- name "-" version ".tar.gz"))
+ "hevea-" version ".tar.gz"))
(sha256
(base32
- "1s4yqphfcr1pf5mcj5c84mvmd107k525iiym5jdwsxz0ka0ccmfy"))))
+ "0115bn6n6hhb08rmj0m508wjcsn1mggiagqly6s941pq811wxymb"))))
(build-system gnu-build-system)
(inputs
`(("ocaml" ,ocaml)))
(native-inputs
`(("ocamlbuild" ,ocamlbuild)))
(arguments
- `(#:tests? #f ; no test suite
+ `(#:tests? #f ; no test suite
#:make-flags (list (string-append "PREFIX=" %output))
#:phases (modify-phases %standard-phases
(delete 'configure)
- branch master updated (73c59b3 -> 4fed945), guix-commits, 2020/02/23
- 02/09: gnu: libostree: Update to 2020.1., guix-commits, 2020/02/23
- 03/09: gnu: hevea: Update to 2.33.,
guix-commits <=
- 04/09: gnu: vim: Fix build on CoW file systems., guix-commits, 2020/02/23
- 01/09: gnu: diffoscope: Update to 137., guix-commits, 2020/02/23
- 05/09: gnu: python-prettytable: Use HTTPS home page., guix-commits, 2020/02/23
- 07/09: gnu: libsvm: Use HTTPS home page., guix-commits, 2020/02/23
- 06/09: gnu: ecl-trivial-features: Use HTTPS home page., guix-commits, 2020/02/23
- 08/09: gnu: radicale: Use HTTPS home page., guix-commits, 2020/02/23
- 09/09: gnu: font-google-material-design-icons: Use HTTPS home page., guix-commits, 2020/02/23