Agda-2.6.2.2: stack-9.2.2.yaml

resolver: nightly-2022-03-26
compiler: ghc-9.2.2
compiler-check: match-exact

packages:
- '.'