Dependencies for MiniAgda-0.2019.12.13

miniagda