Dependencies for Agda-2.2.0

library