-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
128 lines (127 loc) · 4.47 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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
# 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: Diff-0.3.4@sha256:5ab20a407f9e65d13b642c3cd414906a40280343a31b388f6ed69b9228fe42c1,1127
pantry-tree:
sha256: 48d1b942ff99293d69a8ca4ea60f372093e5aeea73f63d11829ceca01d63c7fd
size: 416
original:
hackage: Diff-0.3.4
- completed:
hackage: text-format-0.3.2@sha256:2a3fc17cf87120fcfdbca62a0da59759755549285841cdc1483081c35fb3d115,1814
pantry-tree:
sha256: 2db26ddb77184186e0d5b2b020bdfbeb044c168024767b1fa3691682ca618896
size: 1029
original:
hackage: text-format-0.3.2
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquidhaskell
pantry-tree:
sha256: 81f95c970af639bc3574caf90c58c7fdab2a1e452949ade702de152655038cf5
size: 288881
subdir: .
version: 0.8.10.1
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: .
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-base
pantry-tree:
sha256: ec8394037c62272604fd3b3271653225cf38309d60850e5c43db2e9ecce8aa65
size: 14994
subdir: liquid-base
version: 4.14.0.0
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-base
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-vector
pantry-tree:
sha256: 796993e706ae3dce4c1936ce28a37c1fd4dad03a0e6b1f326947cc1ba84ed158
size: 1724
subdir: liquid-vector
version: 0.12.1.2
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-vector
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-bytestring
pantry-tree:
sha256: e501dda0718c3aabbca14b0d437482a91fb5de01e66ce40a4f53a138438e7358
size: 1843
subdir: liquid-bytestring
version: 0.10.10.0
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-bytestring
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-containers
pantry-tree:
sha256: 1b3e12f4215421207e44373776df5ff435fc09503546c90a0f6b0b5118d55b0b
size: 2143
subdir: liquid-containers
version: 0.6.2.1
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-containers
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-ghc-prim
pantry-tree:
sha256: 52a9263e3ecf70db6c2d6626fe144e14bb603c4c659eeb05ef89fb50189d141f
size: 858
subdir: liquid-ghc-prim
version: 0.6.1
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-ghc-prim
- completed:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
name: liquid-prelude
pantry-tree:
sha256: 8c10488e8c2faa4c93cccce82907aac85fec57e7170d687cfb1a700f62c583f5
size: 1029
subdir: liquid-prelude
version: 0.8.10.1
original:
commit: 269dd34ad90699f5d09752c8aa3a99d589f8668b
git: https://github.com/ucsd-progsys/liquidhaskell
subdir: liquid-prelude
- completed:
commit: d0a6619f97aa605b4b57e3bc8d261186182ebf84
git: https://github.com/ucsd-progsys/liquid-fixpoint
name: liquid-fixpoint
pantry-tree:
sha256: cd46775a77c361d41579fa29c8d401ebc9444f5f591e03df7df6b08501e615b0
size: 19475
version: 0.8.0.2
original:
commit: d0a6619f97aa605b4b57e3bc8d261186182ebf84
git: https://github.com/ucsd-progsys/liquid-fixpoint
snapshots:
- completed:
sha256: 96e98363790e62f4498da632069a03101cf588b3b47925e707f080cff4b6cfbb
size: 503181
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2020/6/25.yaml
original: nightly-2020-06-25