Package: guix;
Reported by: Jack Hill <jackhill <at> jackhill.us>
Date: Fri, 28 Jun 2019 14:54:01 UTC
Severity: normal
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: help-debbugs <at> gnu.org (GNU bug Tracking System) To: Jack Hill <jackhill <at> jackhill.us> Subject: bug#36419: closed (Re: bug#36419: webkitgtk fixed in later release?) Date: Tue, 24 Sep 2019 08:21:02 +0000
[Message part 1 (text/plain, inline)]
[Message part 2 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org> To: Jack Hill <jackhill <at> jackhill.us> Cc: 36419-done <at> debbugs.gnu.org Subject: Re: bug#36419: webkitgtk fixed in later release? Date: Tue, 24 Sep 2019 10:19:50 +0200
[Message part 3 (message/rfc822, inline)]
From: Jack Hill <jackhill <at> jackhill.us> To: bug-guix <at> gnu.org Subject: webkitgtk build fails duo to suspected race Date: Fri, 28 Jun 2019 10:53:05 -0400 (EDT)[Message part 4 (text/plain, inline)][4r0pcww7s08kpay74127z8k6zpcpnnr1-webkitgtk-2.24.2.drv (text/plain, attachment)][0pcww7s08kpay74127z8k6zpcpnnr1-webkitgtk-2.24.2.drv.bz2 (application/octet-stream, attachment)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.