Dependencies for uAgda-1.2.0.2

uAgda