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:
    name: Agda
    version: 2.6.3
    git: https://github.com/Deducteam/agda.git
    pantry-tree:
      size: 848490
      sha256: 72a78b9fe1d96389729044c32d46c6fc892446522ed81b4aa4ca12c40f88d829
    commit: b026db1fa2fbc4bafeff0d0a997d36ac07a94dc5
  original:
    git: https://github.com/Deducteam/agda.git
    commit: b026db1fa2fbc4bafeff0d0a997d36ac07a94dc5
- completed:
    hackage: Unique-0.4.7.9@sha256:a7e154cf6d05169777a1e54aadab24fb3a6eae3ee167e5e77d7ba96d182436c7,2064
    pantry-tree:
      size: 1366
      sha256: eb62502b1de8adee91f0feb104a36f87a21a9367f95295d4f12c73183a9b1e54
  original:
    hackage: Unique-0.4.7.9@sha256:a7e154cf6d05169777a1e54aadab24fb3a6eae3ee167e5e77d7ba96d182436c7,2064
snapshots:
- completed:
    size: 586110
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/21.yaml
    sha256: ce4fb8d44f3c6c6032060a02e0ebb1bd29937c9a70101c1517b92a87d9515160
  original:
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/21.yaml