gnu: logtalk: Update to 3.80.0.
* gnu/packages/prolog.scm (logtalk): Update to 3.80.0. Change-Id: I1ad9cd723413d44bc987bb961dd94e137dbb77eb Signed-off-by: jgart <jgart@dismail.de>
This commit is contained in:
parent
7172532598
commit
9a09ab433f
1 changed files with 2 additions and 2 deletions
|
@ -226,13 +226,13 @@ interpreter with ISO Prolog aspirations.")
|
||||||
(define-public logtalk
|
(define-public logtalk
|
||||||
(package
|
(package
|
||||||
(name "logtalk")
|
(name "logtalk")
|
||||||
(version "3.75.0")
|
(version "3.80.0")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "https://logtalk.org/files/logtalk-"
|
(uri (string-append "https://logtalk.org/files/logtalk-"
|
||||||
version ".tar.bz2"))
|
version ".tar.bz2"))
|
||||||
(sha256 (base32 "0w35br03l307wk2fwh67rybqjgvjlwpy9j5r4c3pkrywd7lhrc54"))))
|
(sha256 (base32 "0g4cc0qv921234548k3rkv1sdayicaa6zzh15vgn82ri9apwm3nh"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
(list #:tests? #f ;no tests
|
(list #:tests? #f ;no tests
|
||||||
|
|
Reference in a new issue