forked from ucsd-progsys/liquid-fixpoint
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstack.yaml.lock
54 lines (53 loc) · 2.11 KB
/
stack.yaml.lock
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
48
49
50
51
52
53
54
# 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.2@sha256:4afd57aaad716827485240428c1deb5a60b81a3c069968f3b0f27a3cb9faf247,3929
pantry-tree:
sha256: a72c2400f09a609d891198b8df1360dd9b50d2fd9d3628a887b04b24636e6401
size: 4075
original:
hackage: rest-rewrite-0.4.2
- completed:
hackage: smtlib-backends-0.3@sha256:a947aead99f6a314833bddca9b502d5faea8d3bd2fc76ffb53c34d5c5b7557bc,1211
pantry-tree:
sha256: 97b88a647ac996808a93b2eab62e9e8574d9b9a451ee37a9103e209b63be012d
size: 275
original:
hackage: smtlib-backends-0.3@rev:2
- completed:
hackage: smtlib-backends-process-0.3@sha256:caf131d3d6f6825e3a3182713130a8e14d0bd6530eeda643e8a511b546ff1a26,1676
pantry-tree:
sha256: 7147fef29b4270275168a285fc0c68784329d1276ab9e44e9a45f8d79b526220
size: 461
original:
hackage: smtlib-backends-process-0.3@rev:2
- 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: store-0.7.18@sha256:af32079e0d31413b97a1759f8ad8555507857cd4ac4015e195fb5b0a27a3ce9f,8159
pantry-tree:
sha256: 6e9fb2c1c59a9f2fb62abd0016841417b57b9a3e045088d48d65cc740cb1eeb9
size: 1292
original:
hackage: store-0.7.18
- completed:
hackage: store-core-0.4.4.6@sha256:37d4a628785b72dd26f0d8565895d01f36b4a7b2539100d735c239cf12d76b53,1489
pantry-tree:
sha256: da7e56dce68e291ea431b552a5cbc7cb0736296f9436e339931b193d48072e68
size: 271
original:
hackage: store-core-0.4.4.6
snapshots:
- completed:
sha256: 876a5c75d90718add42e1ad36d66000bf35050ce1c66748119897a32df613186
size: 563963
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/1/26.yaml
original: nightly-2024-01-26