stack.yaml.lock

# This file was autogenerated by Stack.
# You should not edit this file by hand.
# For more information, please see the documentation at:
#   https://docs.haskellstack.org/en/stable/lock_files

packages:
- completed:
    size: 69078
    url: https://github.com/PLSysSec/haskell-z3/archive/df55d066238c09720491409f93153687a42141f4.tar.gz
    cabal-file:
      size: 4116
      sha256: 980e6e2d63104c25a8660c2f50c6dda760a9c600cc001c9179d618ceb1cf7850
    name: z3
    version: '408.0'
    sha256: f78e1ef91fccd3fdf305ded3c96e404786c5d3871506deef995c18af553c8594
    pantry-tree:
      size: 1525
      sha256: 76532b2cd766ed0ea2f10e0aa9e85a8db695182c49223e9b4b417d9e895ceb19
  original:
    url: https://github.com/PLSysSec/haskell-z3/archive/df55d066238c09720491409f93153687a42141f4.tar.gz
snapshots:
- completed:
    size: 524127
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/14/6.yaml
    sha256: dc70dfb45e2c32f54719819bd055f46855dd4b3bd2e58b9f3f38729a2d553fbb
  original: lts-14.6