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:
    hackage: smtlib-backends-0.4@sha256:6028af9a5f9120b5176a22f136132cb91d7cdfcde34c2e1cdaf270f2d374de47,1202
    pantry-tree:
      sha256: f9eeb1a28d0d6d27bdd126e211119037feb261e53227cd41f588fe55927ab0ed
      size: 275
  original:
    hackage: smtlib-backends-0.4@sha256:6028af9a5f9120b5176a22f136132cb91d7cdfcde34c2e1cdaf270f2d374de47,1202
- completed:
    hackage: smtlib-backends-process-0.3@sha256:26f6b0fbb1f1fc2a9b82f3ebaedaaaac4fc5c49aa4a86659f7e8df4c073189cd,1676
    pantry-tree:
      sha256: 9137a4316bd14a4fb968c50f5d45a7d94385b3fc98b5e0310fa83e81fb112592
      size: 461
  original:
    hackage: smtlib-backends-process-0.3@sha256:26f6b0fbb1f1fc2a9b82f3ebaedaaaac4fc5c49aa4a86659f7e8df4c073189cd,1676
snapshots:
- completed:
    sha256: 8e7996960d864443a66eb4105338bbdd6830377b9f6f99cd5527ef73c10c01e7
    size: 719128
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/26.yaml
  original: lts-22.26