From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43669) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dhzjr-0003LR-3r for guix-patches@gnu.org; Wed, 16 Aug 2017 10:56:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dhzjm-0008KP-8t for guix-patches@gnu.org; Wed, 16 Aug 2017 10:56:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:60841) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dhzjm-0008KE-54 for guix-patches@gnu.org; Wed, 16 Aug 2017 10:56:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dhzjl-00031V-RU for guix-patches@gnu.org; Wed, 16 Aug 2017 10:56:01 -0400 Subject: [bug#27987] Dependencies for Agda - a dependently typed functional language Resent-Message-ID: References: <87efsoofo9.fsf@gmail.com> From: Ricardo Wurmus In-reply-to: <87efsoofo9.fsf@gmail.com> Date: Wed, 16 Aug 2017 16:54:56 +0200 Message-ID: <87efsbk1fj.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Alex Vong Cc: 27987@debbugs.gnu.org Hi Alex, > I wish to introduce Agda to Guix. The patches below are some dependecies > for Agda. There are more to come... Thank you. I have changed the descriptions, ran “guix lint” and pushed the patches from this email with commit 96f23b62e to master. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net