Subject: bug#78998: closed ([PATCH] gnu: a2ps: Update to 4.15.7.)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 12 Jul 2025 10:04:01 +0000

Your message dated Sat, 12 Jul 2025 12:03:27 +0200
with message-id <aHIy7yiGII5y2y5T@jurong>
and subject line Re: [PATCH] gnu: a2ps: Update to 4.15.7.
has caused the debbugs.gnu.org bug report #78998,
regarding [PATCH] gnu: a2ps: Update to 4.15.7.
to be marked as done.

(If you believe you have received this mail in error, please contact
[email-masked].)

-- 
78998: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=78998
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: [PATCH] gnu: a2ps: Update to 4.15.7.
From: Andy Tai <[email-masked]>
To: [email-masked]
Cc: Andy Tai <[email-masked]>
Date: Fri, 11 Jul 2025 22:34:51 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

* gnu/packages/pretty-print.scm (a2ps): Update to 4.15.7.

Change-Id: I84e6141d56ebb23fde9e1e5aa47fbba2558ca0ba
---
 gnu/packages/pretty-print.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/pretty-print.scm b/gnu/packages/pretty-print.scm
index d1bae06a53..1ff17eb1fe 100644
--- a/gnu/packages/pretty-print.scm
+++ b/gnu/packages/pretty-print.scm
@@ -59,14 +59,14 @@ (define-module (gnu packages pretty-print)
 (define-public a2ps
   (package
     (name "a2ps")
-    (version "4.15.6")
+    (version "4.15.7")
     (source (origin
               (method url-fetch)
               (uri (string-append "mirror://gnu/a2ps/a2ps-"
                                   version ".tar.gz"))
               (sha256
                (base32
-                "1x5xdy8g5640bs11nsn7n15v5rb5bsvgi32v3lc6j6di3j09vzw7"))
+                "1bxqzf5hlg666hli2grdlmf2dbggzrlg808wlx60p5gx19kkhpvi"))
               (modules '((guix build utils)))
               (snippet
                ;; Remove timestamp from the installed 'README' file.

base-commit: d3752a1de2590105579334aea35c70db1f718459
-- 
2.43.0

Subject: Re: [PATCH] gnu: a2ps: Update to 4.15.7.
From: Andreas Enge <[email-masked]>
To: Andy Tai <[email-masked]>
Cc: [email-masked]
Date: Sat, 12 Jul 2025 12:03:27 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

I am going to push this, thanks!
You may wish to look into submitting updates on codeberg, as I do not
think that many people still look at the debbugs instance.

Andreas