From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47171) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dhzwT-0001wK-AE for guix-patches@gnu.org; Wed, 16 Aug 2017 11:09:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dhzwO-00032P-Bi for guix-patches@gnu.org; Wed, 16 Aug 2017 11:09:09 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:60863) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dhzwO-00032H-8i for guix-patches@gnu.org; Wed, 16 Aug 2017 11:09:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dhzwO-0003MT-2X for guix-patches@gnu.org; Wed, 16 Aug 2017 11:09:04 -0400 Subject: bug#27987: Dependencies for Agda - a dependently typed functional language Resent-To: guix-patches@gnu.org Resent-Message-ID: References: <87efsoofo9.fsf@gmail.com> <87valzde65.fsf@gmail.com> From: Ricardo Wurmus In-reply-to: <87valzde65.fsf@gmail.com> Date: Wed, 16 Aug 2017 17:08:33 +0200 Message-ID: <87d17vk0su.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-done@debbugs.gnu.org Hi Alex, > Here is the remaining dependencies for Agda. Actually I have already > managed to get Agda to build, but I still need to figure out how to > build the standard library. Thank you. I’ve pushed the patches to master af4db693d after slight changes to the descriptions. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net