DEBSOURCES
Skip Quicknav
sources / agda-stdlib / 2.1-4 / stack-9.2.8.yaml
123456
resolver: lts-20.26 compiler: ghc-9.2.8 compiler-check: match-exact packages: - '.'