--- Begin Message ---
Subject: |
[PATCH 0/5] Update gedit & friends |
Date: |
Wed, 11 Jan 2023 22:05:56 +0100 |
Hi Guix,
I noticed that gedit is mildly outdated, so here are some packages to make it
not so. If anyone wants to chime in and also update gnome-builder, that'd be
very appreciated, but for now it at least appears to (still) build.
Cheers
Liliana Marie Prikler (5):
gnu: tepl: Update to 6.4.0.
gnu: amtk: Update to 5.6.1.
gnu: gedit: Update to 44.1.
gnu: devhelp: Update to 43.0.
gnu: gnome-latex: Update to 3.44.0.
gnu/packages/gnome.scm | 30 +++++++++++++++++-------------
1 file changed, 17 insertions(+), 13 deletions(-)
base-commit: 5e4ec8218142eee8e6e148e787381a5ef891c5b1
--
2.38.1
--- End Message ---
--- Begin Message ---
Subject: |
Re: [PATCH 0/5] Update gedit & friends |
Date: |
Sun, 22 Jan 2023 13:02:07 +0100 |
User-agent: |
Evolution 3.46.0 |
Am Mittwoch, dem 11.01.2023 um 22:05 +0100 schrieb Liliana Marie
Prikler:
> Hi Guix,
>
> I noticed that gedit is mildly outdated, so here are some packages to
> make it not so. If anyone wants to chime in and also update gnome-
> builder, that'd be very appreciated, but for now it at least appears
> to (still) build.
>
> Cheers
>
> Liliana Marie Prikler (5):
> gnu: tepl: Update to 6.4.0.
> gnu: amtk: Update to 5.6.1.
> gnu: gedit: Update to 44.1.
> gnu: devhelp: Update to 43.0.
> gnu: gnome-latex: Update to 3.44.0.
I pushed these five now.
Cheers
--- End Message ---