From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51843) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1di8rz-0001yY-Sb for guix-patches@gnu.org; Wed, 16 Aug 2017 20:41:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1di8ru-0001em-Rq for guix-patches@gnu.org; Wed, 16 Aug 2017 20:41:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:33056) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1di8ru-0001eb-NY for guix-patches@gnu.org; Wed, 16 Aug 2017 20:41:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1di8ru-0000nX-7t for guix-patches@gnu.org; Wed, 16 Aug 2017 20:41:02 -0400 Subject: [bug#27987] Dependencies for Agda - a dependently typed functional language Resent-Message-ID: From: Alex Vong References: <87efsoofo9.fsf@gmail.com> <87valzde65.fsf@gmail.com> <87d17vk0su.fsf@elephly.net> Date: Thu, 17 Aug 2017 08:40:42 +0800 In-Reply-To: <87d17vk0su.fsf@elephly.net> (Ricardo Wurmus's message of "Wed, 16 Aug 2017 17:08:33 +0200") Message-ID: <87pobvowl1.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" 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: Ricardo Wurmus Cc: 27987-done@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ricardo Wurmus writes: > 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=E2=80=99ve pushed the patches to master af4db693d after sli= ght > changes to the descriptions. Thanks of taking care of it. I tried to change some haddock markup to texinfo notation, but I am new to both :) --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEdZDkzSn0Cycogr9IxYq4eRf1Ea4FAlmU5goACgkQxYq4eRf1 Ea4DSQ//UMVm544N2BaQUs89piS2V3gaDZWO50f89g+2OEMgSmxPLjx6sdDY8Xwg Uh/EzIEeObJ7SSkjr17mT/NZA1VnDBPFSvrhEljmKEe5rgw/exNk/gUST+38AR8Q 7oJi3Owt0lVXKBfcBkQkNhQmmODRBJpZEqqAglnpvmlSCtdDbb5ujLdVPEaIffs3 5tRLubNF1OJpy702ybdDmJPevu3ZEIFRLjztvF8xm1Q8Qey8DYIJUWTMCPbolNM5 R9LwaoQVCfYfNgENvyBT6qTTvkDpg8JWAaOKvlfeYWeCkVoEzn7G1t0Ie4rhqHGJ W+oJCuUUGwX6+n4UavF+syfQkBfiworXvmRhNHCnVEgSskQngPns+AoRR4nYmneJ GAfRUtD5evv5YiEDL4Totw84SZW58gVLqrovMRVbvdjoRfTNFdm43BKEKlAUoTc/ +4VE2rybPQZo1WzzDrXQChbZkFkIp5S4Gsho8czTU0E/67L0EyWknJt+5vGtHa7l uPskKQxJLg19I8Y0MDQ4FUW4NYKgFiWFsdycTOJwiOjjG+9Jhd8uP1sgZWka6SwV tQraAG94oPKlRlAQJRfwNq9hyniPlvNywNtc4t6a9rFcYBQiLAetbtkIXQNqm8k9 siBc0tqbbIHkI6I+Mbc4AXdmf2lzYTBXQbNAqT0RF5tysDzGCf4= =sSpB -----END PGP SIGNATURE----- --=-=-=--