bug#71643: closed ([PATCH] gnu: logtalk: Update to 3.80.0.)

[GNU bug Tracking System]

Your message dated Thu, 20 Jun 2024 03:43:54 +0000
with message-id <f5196f41f617cc6131e10aed64f28f47963d542c@dismail.de>
and subject line Re: [PATCH] gnu: logtalk: Update to 3.80.0.
has caused the debbugs.gnu.org bug report #71643,
regarding [PATCH] gnu: logtalk: Update to 3.80.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
71643: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71643
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: logtalk: Update to 3.80.0.
>
>
>
>
> Date: 
>
> Wed, 19 Jun 2024 13:17:03 +0800
>
>
>
>
> From: 宋文武 <iyzsong@member.fsf.org>
>
> * gnu/packages/prolog.scm (logtalk): Update to 3.80.0.
>
> Change-Id: I1ad9cd723413d44bc987bb961dd94e137dbb77eb
> ---
>  gnu/packages/prolog.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
> index 4044c2d529..b4922b424a 100644
> --- a/gnu/packages/prolog.scm
> +++ b/gnu/packages/prolog.scm
> @@ -226,13 +226,13 @@ (define-public trealla
>  (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
>
> base-commit: 0eb3546d5a988d8d7ced886622a49b4c1ea1bede
> -- 
> 2.45.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] gnu: logtalk: Update to 3.80.0.
>
>
>
>
> Date: 
>
> Thu, 20 Jun 2024 03:43:54 +0000
>
>
>
>
> Thanks applied!
>
>
> --- End Message ---