amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: givaro: Update to 4.2.1.

Browse source 
* gnu/packages/algebra.scm (givaro): Update to 4.2.1.

Change-Id: I60b3a157c5d089a61c369d4e0b040a751172236d
This commit is contained in:
Vinicius Monego 2025-06-28 20:58:03 -03:00
parent 1f8e39638c
commit c465c4521f
No known key found for this signature in database
GPG key ID: 637B0B138065B68A
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
gnu/packages/algebra.scm
View file

@ -1523,7 +1523,7 @@ for the Coq proof assistant.")
(define-public givaro
(package
(name "givaro")
(version "4.1.1")
(version "4.2.1")
(source (origin
(method git-fetch)
(uri (git-reference
@ -1532,7 +1532,7 @@ for the Coq proof assistant.")
(file-name (git-file-name name version))
(sha256
(base32
"11wz57q6ijsvfs5r82masxgr319as92syi78lnl9lgdblpc6xigk"))))
"1nmfn9g859c9lwyifqbr0mi3xfhpx970janvm4smjvd9mac1cadx"))))
(build-system gnu-build-system)
(native-inputs
(list autoconf automake libtool))