aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIvan Gankevich <i.gankevich@spbu.ru>2021-07-07 09:57:54 +0300
committerJulien Lepiller <julien@lepiller.eu>2021-07-10 15:01:31 +0200
commitbfa0df0d612b745b97c0785c31e76e8cde58657d (patch)
tree9a081f96da2a79c3b8310034a613c16815b74677
parent4dc0337146425f57c3170dd98856f5195ca21b27 (diff)
downloadguix-bfa0df0d612b745b97c0785c31e76e8cde58657d.tar.gz
guix-bfa0df0d612b745b97c0785c31e76e8cde58657d.zip
gnu: hevea: Update to 2.35.
* gnu/packages/ocaml.scm (hevea): Update to 2.35. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
-rw-r--r--gnu/packages/ocaml.scm5
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index cec6eb4f89..d5fda3d334 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -21,6 +21,7 @@
;;; Copyright © 2021 aecepoglu <aecepoglu@fastmail.fm>
;;; Copyright © 2021 Sharlatan Hellseher <sharlatanus@gmail.com>
;;; Copyright © 2021 Xinglu Chen <public@yoctocell.xyz>
+;;; Copyright © 2021 Ivan Gankevich <i.gankevich@spbu.ru>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -933,14 +934,14 @@ concrete syntax of the language (Quotations, Syntax Extensions).")
(define-public hevea
(package
(name "hevea")
- (version "2.34")
+ (version "2.35")
(source (origin
(method url-fetch)
(uri (string-append "http://hevea.inria.fr/old/"
"hevea-" version ".tar.gz"))
(sha256
(base32
- "1pzyszxw90klpcmhjqrjfc8cw6c0gm4w2blim8ydyxb6rq6qml1s"))))
+ "1jwydkb9ldb1sx815c364dxgr569f2rbbzgxbn2kanrybpdbm2gi"))))
(build-system gnu-build-system)
(inputs
`(("ocaml" ,ocaml)))
7813a26b7062bb43e463f7c761cede'>gnu: qca: Update to 2.3.7....* gnu/packages/kde.scm (qca): Update to 2.3.7. 宋文武 2023-08-03gnu: kirigami-addons: Update to 0.10.0....* gnu/packages/kde.scm (kirigami-addons): Update to 0.10.0. 宋文武 2023-08-03gnu: kdevelop: Update to 23.04.3....* gnu/packages/kde.scm (kdevelop): Update to 23.04.3. [arguments]: Use G-Expressions, adjust add-include-path phase. 宋文武 2023-08-02gnu: kio-extras: Update to 23.04.3....* gnu/packages/kde.scm (kio-extras): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kpublictransport: Use G-expressions....* gnu/packages/kde.scm (kpublictransport)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kpublictransport: Update to 23.04.3....* gnu/packages/kde.scm (kpublictransport): Update to 23.04.3. [native-inputs]: Add tzdata-for-tests. [inputs]: Add networkmanager-qt, ki18n. [arguments]: Enable all tests, add check-setup phase. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kdevelop-pg-qt: Update to 2.2.2....* gnu/packages/kde.scm (kdevelop-pg-qt): Update to 2.2.2. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: okular: Update to 23.04.3....* gnu/packages/kde.scm (okular): Update to 23.04.3. [native-inputs]: Add desktop-file-utils. [inputs]: Add qtx11extras. [arguments]: Use G-expressions, move check phase after install phase, add check-setup phase. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: marble-qt: Use G-expressions....* gnu/packages/kde.scm (marble-qt)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: marble-qt: Update to 23.04.3....* gnu/packages/kde.scm (marble-qt): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kopeninghours: Use G-expressions....* gnu/packages/kde.scm (kopeninghours)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kopeninghours: Update to 23.04.3....* gnu/packages/kde.scm (kopeninghours): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kosmindoormap: Update to 23.04.3....* gnu/packages/kde.scm (kosmindoormap): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kpmcore: Use G-expressions....* gnu/packages/kde.scm (kpmcore)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kpmcore: Update to 23.04.3....* gnu/packages/kde.scm (kpmcore): Update to 23.04.3. [arguments]: enable tests. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kdeconnect: Use G-expressions....* gnu/packages/kde.scm (kdeconnect)[arguments]: Rewrite as G-expressions. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kdeconnect: Update to 23.04.3....* gnu/packages/kde.scm (kdeconnect): Update to 23.04.3. [native-inputs]: Add wayland-protocols. [inputs]: Add modemmanager-qt, libxkbcommon. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kirigami-addons: Update to 0.9.0....* gnu/packages/kde.scm (kirigami-addons): Update to 0.9.0. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: ktimer: Update to 23.04.3....* gnu/packages/kde.scm (ktimer): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kcachegrind: Update to 23.04.3....* gnu/packages/kde.scm (kcachegrind): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: libkdegames: Update to 23.04.3....* gnu/packages/kde.scm (libkdegames): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: libkexiv2: Update to 23.04.3....* gnu/packages/kde.scm (libkexiv2): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kdegraphics-mobipocket: Update to 23.04.3....* gnu/packages/kde.scm (kdegraphics-mobipocket): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: poxml: Update to 23.04.3....* gnu/packages/kde.scm (poxml): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: kdf: Update to 23.04.3....* gnu/packages/kde.scm (kdf): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: qca: Update to 2.3.6....* gnu/packages/kde.scm (qca): Update to 2.3.6. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: libkomparediff2: Update to 23.04.3....* gnu/packages/kde.scm (libkomparediff2): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: baloo-widgets: Update to 23.04.3....* gnu/packages/kde.scm (baloo-widgets): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-08-02gnu: grantleetheme: Update to 23.04.3....* gnu/packages/kde.scm (grantleetheme): Update to 23.04.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Zheng Junjie 2023-07-23gnu: fuse@3: Bind to default FUSE variable....* gnu/packages/linux.scm (fuse): Rename this… (fuse-2): …to this, and… (fuse-3): …rename this… (fuse): …to this! (fuse-static): Rename this… (fuse-2-static): …to this. Adjust all users. Tobias Geerinckx-Rice 2023-06-26gnu: kdenlive: Update to 23.04.2...* gnu/packages/kde.scm (kdenlive): Update to 23.04.2 Signed-off-by: Christopher Baines <mail@cbaines.net> Andy Tai 2023-06-06gnu: kirigami-addons: Update to 0.8.0....* gnu/packages/kde.scm (kirigami-addons): Update to 0.8.0. [source]: Download using git-fetch. Efraim Flashner 2023-04-07gnu: Purge pre-1.3.0 deprecated packages....* gnu/packages/bioinformatics.scm (deeptools): Remove variable. * gnu/packages/efi.scm (efi_analyzer): Ditto. * gnu/packages/guile.scm (guile-2.2/bug-fix, guile-json): Ditto. * gnu/packages/image.scm (libjpeg): Ditto. * gnu/packages/kde.scm (kdevplatform): Ditto * gnu/packages/linphone.scm (linphoneqt): Ditto. * gnu/packages/maths.scm (blis-sandybridge, blis-haswell, blis-knl): Ditto. * gnu/packages/mpi.scm (hwloc-2.0): Ditto. * gnu/packages/music.scm (python-abjad, zlfo): Ditto. * gnu/packages/perl.scm (perl-base, perl-parent): Ditto. * gnu/packages/tryton.scm (python-trytond): Ditto. * gnu/packages/video.scm (gnome-mpv): Ditto. * tests/graph.scm: Use guile-json-1. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Bruno Victal 2023-04-03gnu: kdenlive: Update to 22.12.3....* gnu/packages/kde.scm (kdenlive): Update to 22.12.3. Vinicius Monego 2023-03-10gnu: krita: Update to 5.1.5....* gnu/packages/kde.scm (krita): Update to 5.1.5. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> Z572 via Guix-patches via