Package: guix-patches;
Reported by: Robin Green <greenrd <at> greenrd.org>
Date: Sun, 6 Sep 2020 16:36:02 UTC
Severity: normal
Tags: patch
Done: Mathieu Othacehe <othacehe <at> gnu.org>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 43247 in the body.
You can then email your comments to 43247 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Robin Green <greenrd <at> greenrd.org> To: guix-patches <at> gnu.org Cc: Robin Green <greenrd <at> greenrd.org> Subject: [PATCH] gnu: coq-equations: Update to patch release Date: Sun, 6 Sep 2020 17:34:22 +0100
Message #10 received at 43247-done <at> debbugs.gnu.org (full text, mbox):
From: Mathieu Othacehe <othacehe <at> gnu.org> To: Robin Green <greenrd <at> greenrd.org> Cc: 43247-done <at> debbugs.gnu.org Subject: Re: [bug#43247] [PATCH] gnu: coq-equations: Update to patch release Date: Mon, 07 Sep 2020 07:54:29 +0200
Debbugs Internal Request <help-debbugs <at> gnu.org>
to internal_control <at> debbugs.gnu.org
.
(Mon, 05 Oct 2020 11:24:07 GMT) Full text and rfc822 format available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.