Package: guix-patches;
Reported by: kyle <kyle <at> posteo.net>
Date: Thu, 12 May 2022 02:11:03 UTC
Severity: normal
Tags: patch
Done: Ricardo Wurmus <rekado <at> elephly.net>
Bug is archived. No further changes may be made.
Message #10 received at 55380-done <at> debbugs.gnu.org (full text, mbox):
From: Ricardo Wurmus <rekado <at> elephly.net> To: 55380-done <at> debbugs.gnu.org Subject: [PATCH 02/14] gnu: Add r-piton. Date: Thu, 29 Dec 2022 20:47:10 +0100
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.