bug#68205: closed ([PATCH] gnu: fet: Update to 6.14.2.)

[GNU bug Tracking System]

Your message dated Sun, 07 Jan 2024 22:59:13 +0100
with message-id <877ckkpzym.fsf@nicolasgoaziou.fr>
and subject line Re: [bug#68205] [PATCH] gnu: fet: Update to 6.14.2.
has caused the debbugs.gnu.org bug report #68205,
regarding [PATCH] gnu: fet: Update to 6.14.2.
to be marked as done.

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


-- 
68205: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=68205
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: fet: Update to 6.14.2.
>
>
>
>
> Date: 
>
> Tue,  2 Jan 2024 11:29:26 +0100
>
>
>
>
> * gnu/packages/education.scm (fet): Update to 6.14.2.
>
> Change-Id: I44aed08be6ae435587560255e694146c74654f97
> ---
>  gnu/packages/education.scm | 6 +++---
>  1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
> index 2fd1d4a632..c89f25ce9e 100644
> --- a/gnu/packages/education.scm
> +++ b/gnu/packages/education.scm
> @@ -4,7 +4,7 @@
>  ;;; Copyright © 2016 Hartmut Goebel <h.goebel@crazy-compilers.com>
>  ;;; Copyright © 2017-2023 Efraim Flashner <efraim@flashner.co.il>
>  ;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <me@tobias.gr>
> -;;; Copyright © 2018-2023 Nicolas Goaziou <mail@nicolasgoaziou.fr>
> +;;; Copyright © 2018-2024 Nicolas Goaziou <mail@nicolasgoaziou.fr>
>  ;;; Copyright © 2020 Robert Smith <robertsmith@posteo.net>
>  ;;; Copyright © 2020 Guy Fleury Iteriteka <gfleury@disroot.org>
>  ;;; Copyright © 2020 Jakub Kądziołka <kuba@kadziolka.net>
> @@ -564,7 +564,7 @@ (define-public openboard
>  (define-public fet
>    (package
>      (name "fet")
> -    (version "6.9.0")
> +    (version "6.14.2")
>      (source
>       (origin
>         (method url-fetch)
> @@ -573,7 +573,7 @@ (define-public fet
>                (list (string-append directory base)
>                      (string-append directory "old/" base))))
>         (sha256
> -        (base32 "1lnw58ga1ldhqfznclmk9l21698pg152w3slq2cwmr69ywqr5wys"))))
> +        (base32 "0ywbmncx9avar7jpjqallxh8y8zlcl7018m291zh9i5h9w3dqvrr"))))
>      (build-system gnu-build-system)
>      (arguments
>       (list
>
> base-commit: f2102cb5b9239be2ed2023b908b726af542e0124
> -- 
> 2.41.0
>
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#68205] [PATCH] gnu: fet: Update to 6.14.2.
>
>
>
>
> Date: 
>
> Sun, 07 Jan 2024 22:59:13 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Hello,
>
> Mathieu Othacehe <othacehe@gnu.org> writes:
>
> > Looks like the 6.15.0 is out there.
>
> Updated, and pushed. Thanks.
>
> > I think that you can directly proceed for those trivial updates.
>
> Noted.
>
> Regards,
> -- 
> Nicolas Goaziou
>
>
>
>
> --- End Message ---