gnu: direvent: Update to 5.4.

* gnu/packages/admin.scm (direvent): update to 5.4.

Change-Id: I955abd8e3d75ff2fa7afa99c8d6b2eed2328b20a
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
This commit is contained in:
Andy Tai 2024-07-03 08:58:06 -07:00 committed by Zheng Junjie
parent edb54d378d
commit f30509e165
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0

View file

@ -2745,14 +2745,14 @@ (define-public lr
(define-public direvent
(package
(name "direvent")
(version "5.3")
(version "5.4")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnu/direvent/direvent-"
version ".tar.gz"))
(sha256
(base32
"15y4jk5vlcd003bvf42c6z9zd4gz4pwqpwaapqmyk7x4gnksh1cl"))))
"1flmswj1by9afqal55hc70l2hshcawyn0j2if92y6rxb58cwdfqx"))))
(build-system gnu-build-system)
(arguments
(list #:phases