Dependencies for MiniAgda-0.2019.3.29

miniagda