liquid-fixpoint/stack.yaml.lock at develop · ucsd-progsys/liquid-fixpoint · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
# 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: rest-rewrite-0.4.4@sha256:a8567fd4144fb44fde240a0baf2e616014e49869be92f4b1eea11394e07d1cc2,4086
    pantry-tree:
      sha256: b09d3ab6fa4e5924f3eb712406c8812e959747f47b4621db3e3509ffaea66c44
      size: 4075
  original:
    hackage: rest-rewrite-0.4.4
- completed:
    hackage: smtlib-backends-0.4@sha256:a662fecbc8908337b8f19d9bb7e1515a29f4dd992a5eb88f1fcb59e6ab1d0871,1258
    pantry-tree:
      sha256: f46a0eb3dd5f894fe644bca55cdef65f16cfe5bc1d92c739b90eebd63d440835
      size: 275
  original:
    hackage: smtlib-backends-0.4
- completed:
    hackage: smtlib-backends-process-0.3@sha256:1cdd2ae8ebf3786f08cafe2f6b47001f7647779ad87cba3f05250f68d70e3f07,1676
    pantry-tree:
      sha256: 05326db88add261e687f039a81b8573a4192b42e47e994230e516b3c604af3e8
      size: 461
  original:
    hackage: smtlib-backends-process-0.3@rev:5
- completed:
    hackage: smtlib-backends-z3-0.3.1@sha256:b61b50e9335abc97abcc0cc2ee005c5a5f0c9a5966b2af7c5af40113abdb4191,1877
    pantry-tree:
      sha256: acd5810d206c79db6033a2b893021c162e00e8daeb7832c4e9acd2deba50bffe
      size: 500
  original:
    hackage: smtlib-backends-z3-0.3.1
- completed:
    hackage: tasty-1.5.3@sha256:9d56ea9dbc274fc853fc531373b2c91bfe360e21460c2c6a5838897d86e3f6d0,2923
    pantry-tree:
      sha256: 3f4655ce81d6b50d9293ee3b2b15e1608e9b18b886d3463bb66c34a3a7c302f6
      size: 1944
  original:
    hackage: tasty-1.5.3
snapshots:
- completed:
    sha256: ab55278dcabc69ac5fbb72dcf67d3ad228598a75496350210f781a39345a2cd6
    size: 660071
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2025/3/20.yaml
  original: nightly-2025-03-20