GNU bug report logs - #47433
[PATCH 0/2] gnu: Add lagrange.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Léo Le Bouter <lle-bout <at> zaclys.net>
Subject: bug#47433: closed ([PATCH 0/2] gnu: Add lagrange.)
Date: Thu, 07 Apr 2022 12:12:02 +0000

[Message part 1 (text/plain, inline)]

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 47433 <at> debbugs.gnu.org.

-- 
47433: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47433
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Guillaume Le Vaillant <glv <at> posteo.net>
To: 47433-close <at> debbugs.gnu.org
Subject: [PATCH 0/2] gnu: Add lagrange.
Date: Thu, 07 Apr 2022 12:08:59 +0000

[Message part 3 (text/plain, inline)]

Lagrange was added in 8ec8fe0fcc155e0e3e0cc14a3b04b51c1a7ac10c.
Closing.

[signature.asc (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: Léo Le Bouter <lle-bout <at> zaclys.net>
To: guix-patches <at> gnu.org
Cc: Léo Le Bouter <lle-bout <at> zaclys.net>
Subject: [PATCH 0/2] gnu: Add lagrange.
Date: Sat, 27 Mar 2021 14:45:35 +0100

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.