Directory listing for MiniAgda-0.2020.4.14 candidate source tarball

MiniAgda-0.2020.4.14/test/succeed/