mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: trealla: Update to 2.74.2.
* gnu/packages/prolog.scm (trealla): Update to 2.74.2. Change-Id: I544436ff88dfacc55123245b3ef0cb21afc1523e
This commit is contained in:
parent
f5237bb3a1
commit
f619f50b65
1 changed files with 2 additions and 2 deletions
|
@ -185,7 +185,7 @@ it.")
|
||||||
(define-public trealla
|
(define-public trealla
|
||||||
(package
|
(package
|
||||||
(name "trealla")
|
(name "trealla")
|
||||||
(version "2.73.16")
|
(version "2.74.2")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
|
@ -194,7 +194,7 @@ it.")
|
||||||
(url "https://github.com/trealla-prolog/trealla")
|
(url "https://github.com/trealla-prolog/trealla")
|
||||||
(commit (string-append "v" version))))
|
(commit (string-append "v" version))))
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "1iqy9k36cffnhywzkhgr1g1nxpqna001fv79wj1jlwrl0zj9q1pm"))
|
(base32 "079wz9fpmbpga8xa3q6qp6rw6mclal07h02di1g6z7qj3k8am35m"))
|
||||||
(file-name (git-file-name name version))))
|
(file-name (git-file-name name version))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue