stack.ghc-8.4.yaml

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/saw-core-what4/
  - deps/cryptol-verifier/
  - deps/jvm-verifier/
  - deps/crucible/what4/
  - deps/crucible/what4-abc/
  - deps/crucible/crucible/
  - deps/crucible/crucible-jvm/
  - deps/crucible/crucible-llvm/
  - deps/crucible/crucible-saw/
  - deps/crucible/crux/
  - deps/parameterized-utils/
  - deps/dwarf/
  - deps/elf-edit/
  - deps/flexdis86/
  - deps/flexdis86/binary-symbols/
  - deps/macaw/base
  - deps/macaw/symbolic
  - deps/macaw/x86
  - deps/macaw/x86_symbolic
  - .
extra-deps:
  - zenc-0.1.1@sha256:e4be3e5e9fe1a1ade05910909c6e5b5a8eff72e697868b03955c9781b0443947
  - IfElse-0.85
  - fgl-visualize-0.1.0.1
  - dotgen-0.4.2
  - simple-smt-0.9.4
  - GraphSCC-1.0.4
  - monadLib-3.9
  - sbv-8.3
  - panic-0.4.0.1
  - itanium-abi-0.1.1.1
  - boomerang-1.4.5.6
  - th-abstraction-0.3.1.0
  - microlens-th-0.4.2.3
  - deriving-compat-0.5.6
  - bifunctors-5.5.4
  - generic-deriving-1.12.4
  - invariant-0.5.3
  - lens-4.17.1
  - th-lift-0.8.0.1
  - config-schema-1.1.0.0
  - config-value-0.6.3.1
  - simple-get-opt-0.3
resolver: lts-12.26
allow-newer: true