flags:
  abcBridge:
    enable-pthreads: false
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:
  - crackNum-1.9
  - FloatingHex-0.4
  - QuickCheck-2.9.2
  - fgl-visualize-0.1.0.1
  - dotgen-0.4.2
  - monad-supply-0.6
  - sbv-7.1
  - simple-smt-0.7.1
  - th-abstraction-0.1.0.0
resolver: lts-8.14

flags:
  abcBridge:
    enable-pthreads: false
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:
  - containers-0.5.8.2
  - crackNum-1.9
  - FloatingHex-0.4
  - QuickCheck-2.9.2
  - fgl-visualize-0.1.0.1
  - dotgen-0.4.2
  - monad-supply-0.6
  - sbv-7.1
  - simple-smt-0.7.1
  - th-abstraction-0.1.0.0
resolver: lts-8.14

Update the GHC 8.0/Windows stack.yaml as well
Update the GHC 8.0/Windows stack.yaml as well
