MiniAgda-0.2025.7.23: stack-8.10.7.yaml

resolver: lts-18.28

extra-deps:
- haskell-src-exts-1.21.1