DEBSOURCES
Skip Quicknav
sources / agda / 2.6.1-1 / stack-8.2.2.yaml
12345678
resolver: lts-11.22 extra-deps: - async-2.2.1 - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - text-1.2.3.1 - cpphs-1.20.9