Subject: Re: [bug#27987] Dependencies for Agda - a dependently typed functional language
From: Ricardo Wurmus <[email-masked]>
To: Alex Vong <[email-masked]>
Cc: [email-masked]
Date: Wed, 16 Aug 2017 17:08:33 +0200
List-Id: <debbugs-submit.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