resolver: nightly-2017-09-06

packages:
- '.'

extra-deps:
- 'ghc-proofs-0.1.1'

flags: {}

extra-package-dbs: []

system-ghc: true