diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2024-06-19 13:17:03 +0800 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2024-06-19 21:18:52 -0500 |
| commit | 9a09ab433f6f5dfb3ce85266d8fb2286f79b5080 (patch) | |
| tree | 0d5dba31c66c573c27ed8636286a7569f10bca82 /gnu | |
| parent | 7172532598410de431425bef82738f3d8bad6bf3 (diff) | |
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>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/prolog.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 0e5c72af18..79658208e5 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -226,13 +226,13 @@ interpreter with ISO Prolog aspirations.") (define-public logtalk (package (name "logtalk") - (version "3.75.0") + (version "3.80.0") (source (origin (method url-fetch) (uri (string-append "https://logtalk.org/files/logtalk-" version ".tar.bz2")) - (sha256 (base32 "0w35br03l307wk2fwh67rybqjgvjlwpy9j5r4c3pkrywd7lhrc54")))) + (sha256 (base32 "0g4cc0qv921234548k3rkv1sdayicaa6zzh15vgn82ri9apwm3nh")))) (build-system gnu-build-system) (arguments (list #:tests? #f ;no tests |