-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
109 lines (108 loc) · 3.9 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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
# 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: text-format-0.3.2@sha256:2a3fc17cf87120fcfdbca62a0da59759755549285841cdc1483081c35fb3d115,1814
pantry-tree:
size: 1029
sha256: 2db26ddb77184186e0d5b2b020bdfbeb044c168024767b1fa3691682ca618896
original:
hackage: text-format-0.3.2
- completed:
hackage: Diff-0.3.4@sha256:5ab20a407f9e65d13b642c3cd414906a40280343a31b388f6ed69b9228fe42c1,1127
pantry-tree:
size: 416
sha256: 48d1b942ff99293d69a8ca4ea60f372093e5aeea73f63d11829ceca01d63c7fd
original:
hackage: Diff-0.3.4
- completed:
hackage: megaparsec-8.0.0@sha256:362f85e243ecbcb550e1de6e5c74ba5a50c09edaa1208c99bc5b9fd242227fc6,3808
pantry-tree:
size: 1446
sha256: 955117c00a86970f2d0c215f33cf5293b16589c04678a0a790c03368ab6fd0aa
original:
hackage: megaparsec-8.0.0@sha256:362f85e243ecbcb550e1de6e5c74ba5a50c09edaa1208c99bc5b9fd242227fc6,3808
- completed:
subdir: .
name: liquidhaskell
version: 0.8.10.2.1
git: https://github.com/ucsd-progsys/liquidhaskell
pantry-tree:
size: 294497
sha256: c8a90e48c384748b3fc83047c659f89c7b9f712016eb9176172027ad47602cb8
commit: 892552d4e7177da1135a157624363a8d5107c623
original:
subdir: .
git: https://github.com/ucsd-progsys/liquidhaskell
commit: 892552d4e7177da1135a157624363a8d5107c623
- completed:
subdir: liquid-base
name: liquid-base
version: 4.14.1.0
git: https://github.com/ucsd-progsys/liquidhaskell
pantry-tree:
size: 15054
sha256: 48b0a1451d8c14272aa16804c5e8c8cf6d42625bd2e1d280677478605bc95ead
commit: 892552d4e7177da1135a157624363a8d5107c623
original:
subdir: liquid-base
git: https://github.com/ucsd-progsys/liquidhaskell
commit: 892552d4e7177da1135a157624363a8d5107c623
- completed:
subdir: liquid-ghc-prim
name: liquid-ghc-prim
version: 0.6.1
git: https://github.com/ucsd-progsys/liquidhaskell
pantry-tree:
size: 912
sha256: f4a142e73996a292cf2eae8c364f71fe9a1195937801cad720ac1394db1bd3ae
commit: 892552d4e7177da1135a157624363a8d5107c623
original:
subdir: liquid-ghc-prim
git: https://github.com/ucsd-progsys/liquidhaskell
commit: 892552d4e7177da1135a157624363a8d5107c623
- completed:
subdir: liquid-containers
name: liquid-containers
version: 0.6.2.1
git: https://github.com/ucsd-progsys/liquidhaskell
pantry-tree:
size: 2143
sha256: e0813348d68667e035d96bcd225b9d545693bf7827f40d41d86c4535cf120cb8
commit: 892552d4e7177da1135a157624363a8d5107c623
original:
subdir: liquid-containers
git: https://github.com/ucsd-progsys/liquidhaskell
commit: 892552d4e7177da1135a157624363a8d5107c623
- completed:
subdir: liquid-prelude
name: liquid-prelude
version: 0.8.10.2
git: https://github.com/ucsd-progsys/liquidhaskell
pantry-tree:
size: 1029
sha256: 17fffd9d59ef7d3e7fa04b89174250bab84af77822d3f5de0124d608aa6827c6
commit: 892552d4e7177da1135a157624363a8d5107c623
original:
subdir: liquid-prelude
git: https://github.com/ucsd-progsys/liquidhaskell
commit: 892552d4e7177da1135a157624363a8d5107c623
- completed:
name: liquid-fixpoint
version: 0.8.10.2.1
git: https://github.com/ucsd-progsys/liquid-fixpoint
pantry-tree:
size: 20726
sha256: dca381d82002944c74eb0825175673a74679e3f163e5ed40b888ed2cb037c871
commit: d34add2bb85a3edfd905acbd32cec29f55409c75
original:
git: https://github.com/ucsd-progsys/liquid-fixpoint
commit: d34add2bb85a3edfd905acbd32cec29f55409c75
snapshots:
- completed:
size: 587113
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/6.yaml
sha256: f74c482d7c93739ecf3abfbc0f2dea1c20a2dfb2462c689846ed55a9653b66f7
original: lts-18.6