/
stack.yaml.lock
58 lines (57 loc) · 2.38 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
55
56
57
58
# 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: store-0.7.18@sha256:af32079e0d31413b97a1759f8ad8555507857cd4ac4015e195fb5b0a27a3ce9f,8159
pantry-tree:
sha256: 6e9fb2c1c59a9f2fb62abd0016841417b57b9a3e045088d48d65cc740cb1eeb9
size: 1292
original:
hackage: store-0.7.18@sha256:af32079e0d31413b97a1759f8ad8555507857cd4ac4015e195fb5b0a27a3ce9f,8159
- completed:
hackage: store-core-0.4.4.7@sha256:a2ea427ff0dde30252474dcb0641cb6928cb8a93cd5ee27d4c22adba8e729683,1489
pantry-tree:
sha256: 67828df739695d14f81cd572a3085c76f65ac75f8417095afef8dfb2815f523e
size: 271
original:
hackage: store-core-0.4.4.7@sha256:a2ea427ff0dde30252474dcb0641cb6928cb8a93cd5ee27d4c22adba8e729683,1489
- completed:
hackage: rest-rewrite-0.4.3@sha256:915fb98b8c0a0f518c1a4b75bcf3ae27a3ebd5b10d60cc16a216c2fca2148ab0,3929
pantry-tree:
sha256: 4de44fbeb7bd655caeafe605406c0bc5fe1788d9cf37cdac2f18b018ee4cf5e6
size: 4075
original:
hackage: rest-rewrite-0.4.3
- 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:
commit: 794aed1388442e64ced07a7f53c5aba14ce01a24
git: https://github.com/ucsd-progsys/liquid-fixpoint
name: liquid-fixpoint
pantry-tree:
sha256: f2c83fcfb48793f10fcc0522f77fbf002ca2d28a07a0ea02b4d6a8b0778e7f0c
size: 23600
version: 0.9.6.3
original:
commit: 794aed1388442e64ced07a7f53c5aba14ce01a24
git: https://github.com/ucsd-progsys/liquid-fixpoint
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