Dependency Graph for agda-kernel 0.4