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/packages | |
| 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/packages')
| -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 0e5c72af187..79658208e50 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm | |||
| @@ -226,13 +226,13 @@ interpreter with ISO Prolog aspirations.") | |||
| 226 | (define-public logtalk | 226 | (define-public logtalk |
| 227 | (package | 227 | (package |
| 228 | (name "logtalk") | 228 | (name "logtalk") |
| 229 | (version "3.75.0") | 229 | (version "3.80.0") |
| 230 | (source | 230 | (source |
| 231 | (origin | 231 | (origin |
| 232 | (method url-fetch) | 232 | (method url-fetch) |
| 233 | (uri (string-append "https://logtalk.org/files/logtalk-" | 233 | (uri (string-append "https://logtalk.org/files/logtalk-" |
| 234 | version ".tar.bz2")) | 234 | version ".tar.bz2")) |
| 235 | (sha256 (base32 "0w35br03l307wk2fwh67rybqjgvjlwpy9j5r4c3pkrywd7lhrc54")))) | 235 | (sha256 (base32 "0g4cc0qv921234548k3rkv1sdayicaa6zzh15vgn82ri9apwm3nh")))) |
| 236 | (build-system gnu-build-system) | 236 | (build-system gnu-build-system) |
| 237 | (arguments | 237 | (arguments |
| 238 | (list #:tests? #f ;no tests | 238 | (list #:tests? #f ;no tests |