[debbugs-tracker] bug#37138: closed ([PATCH] gnu: Add speedcrunch.)

[GNU bug Tracking System]

Your message dated Sat, 31 Aug 2019 20:58:27 +0200
with message-id <address@hidden>
and subject line Re: [bug#37138] [PATCH] gnu: Add speedcrunch.
has caused the debbugs.gnu.org bug report #37138,
regarding [PATCH] gnu: Add speedcrunch.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
37138: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37138
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] gnu: Add speedcrunch. Date: Wed, 21 Aug 2019 17:25:41 -0700

0001-gnu-Add-speedcrunch.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#37138] [PATCH] gnu: Add speedcrunch.
>
>
>
>
> Date: 
>
> Sat, 31 Aug 2019 20:58:27 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
>
>
>
>
> Hi,
>
> Steve Sprang <address@hidden> skribis:
>
> > From 6726ff51bde52459c1b27b4441c2fd070e489364 Mon Sep 17 00:00:00 2001
> > From: Steve Sprang <address@hidden>
> > Date: Wed, 21 Aug 2019 17:17:02 -0700
> > Subject: [PATCH] gnu: Add speedcrunch.
> >
> > * gnu/packages/maths.scm (speedcrunch): New variable.
>
> Perfect, applied!
>
> Thanks,
> Ludo’.
>
>
> --- End Message ---