-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
102 lines (101 loc) · 3.58 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
# 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:
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: 534084
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2020/10/3.yaml
sha256: a0ba4bf2518d3bba59332ecaf101a992978f3569b813230be65898d74075a713
original: nightly-2020-10-03