flags: {}
packages:
  - deps/llvm-pretty/
  - deps/llvm-pretty-bc-parser/
  - deps/jvm-parser/
  - deps/aig/
  - deps/abcBridge/
  - deps/cryptol/
  - deps/saw-core/
  - deps/saw-core-aig/
  - deps/saw-core-sbv/
  - deps/cryptol-verifier/
  - deps/jvm-verifier/
  - deps/llvm-verifier/
  - deps/crucible/crucible/
  - deps/crucible/crucible-abc/
  - deps/crucible/crucible-llvm/
  - deps/crucible/crucible-saw/
  - deps/crucible/galois-matlab/
  - deps/parameterized-utils/
  - .
extra-deps:
  - IfElse-0.85
  - fgl-visualize-0.1.0.1
  - dotgen-0.4.2
  - monad-supply-0.6
  - simple-smt-0.7.0
  - GraphSCC-1.0.4
  - monadLib-3.7.3
  - presburger-1.3.1
  - smtLib-1.0.8
resolver: nightly-2017-08-08

Add Stack file for GHC 8.2.1 (Unix only, for now)
Add Stack file for GHC 8.2.1 (Unix only, for now)
