Hello,

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.