Subject: bug#47433: closed ([PATCH 0/2] gnu: Add lagrange.)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 07 Apr 2022 12:12:02 +0000

Your bug report

#47433: [PATCH 0/2] gnu: Add lagrange.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

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

Subject: [PATCH 0/2] gnu: Add lagrange.
From: Guillaume Le Vaillant <[email-masked]>
To: [email-masked]
Date: Thu, 07 Apr 2022 12:08:59 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Lagrange was added in 8ec8fe0fcc155e0e3e0cc14a3b04b51c1a7ac10c.
Closing.

Subject: [PATCH 0/2] gnu: Add lagrange.
From: Léo Le Bouter <[email-masked]>
To: [email-masked]
Cc: Léo Le Bouter <[email-masked]>
Date: Sat, 27 Mar 2021 14:45:35 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

One pending minor packaging issue submitted upstream:
https://github.com/skyjake/lagrange/issues/225

Probably a revised patchset will come once that is solved.

Otherwise, tested and it builds and works fine! No extended testing of the usage
of lagrange itself was made though.

Léo Le Bouter (2):
  gnu: Add the-foundation.
  gnu: Add lagrange.

 gnu/packages/web.scm | 80 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 80 insertions(+)

-- 
2.31.0