Dependencies for MiniAgda-0.2018.11.6

miniagda