From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: Re: [PATCH v2 0/5] Add FPGA Tools Date: Wed, 7 Sep 2016 22:21:37 +0200 Message-ID: <20160907222137.1090bf5e@scratchpost.org> References: <20160818151833.29540-1-dannym@scratchpost.org> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:35314) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bhjLw-0006Mv-Ix for guix-devel@gnu.org; Wed, 07 Sep 2016 16:21:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bhjLr-00079V-IP for guix-devel@gnu.org; Wed, 07 Sep 2016 16:21:48 -0400 Received: from dd1012.kasserver.com ([85.13.128.8]:52981) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bhjLr-00078t-C0 for guix-devel@gnu.org; Wed, 07 Sep 2016 16:21:43 -0400 In-Reply-To: <20160818151833.29540-1-dannym@scratchpost.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: guix-devel@gnu.org Ping. This is the newest version of the patch series that includes the changes you suggested.