-
Notifications
You must be signed in to change notification settings - Fork 6
/
stack.yaml.lock
110 lines (109 loc) · 5.16 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
# 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: bimap-0.3.3@sha256:232518c0410990665b9c8677eb9318ee355c001d58945ddcbedec3baa30b4160,1475
pantry-tree:
size: 414
sha256: 5c7485014c2f342d215ace99cd06361f7607169aebe8d4aca2f265fa5c3c6761
original:
hackage: bimap-0.3.3@sha256:232518c0410990665b9c8677eb9318ee355c001d58945ddcbedec3baa30b4160,1475
- completed:
hackage: extra-1.6.17@sha256:af90eeb95b08ac1683c466efd9d4b8d9d426a547eb5fa46af87f615bb67dfae0,2705
pantry-tree:
size: 1828
sha256: cc35b5f7b59e032c61183d1b2334302ab3ff2f87c7a6e262b67bb78d16818459
original:
hackage: extra-1.6.17@sha256:af90eeb95b08ac1683c466efd9d4b8d9d426a547eb5fa46af87f615bb67dfae0,2705
- completed:
hackage: language-sygus-0.1.1.2@sha256:596a0a82c916336146f77cdad0efa928eb8560e8398330a66a2fc44ac524cae4,1757
pantry-tree:
size: 649
sha256: 38bf545c0560fa4b1ae45b2b35afef8a6c58b50690237afe7c6f08b82b8991db
original:
hackage: language-sygus-0.1.1.2@sha256:596a0a82c916336146f77cdad0efa928eb8560e8398330a66a2fc44ac524cae4,1757
- completed:
hackage: liquidhaskell-0.8.2.2@sha256:c98a2388fad5f7e8b9e2df0d5dd2b8f7cefda3f95e28175fb737dfb25c16e1c9,14191
pantry-tree:
size: 65528
sha256: 7e75bcf615fcd5c83224856aaac48dd9c9bea2e4d9e6263ac7a1adeb60892275
original:
hackage: liquidhaskell-0.8.2.2
- completed:
hackage: liquid-fixpoint-0.7.0.7@sha256:57614c635725a22475f031d365816cb6ed10f2f137a343a58339c3bb2fedd913,7987
pantry-tree:
size: 10716
sha256: 93aae5884e1f794faf610a0966fee5d30efa446705931e24a318c9bb64a07b9a
original:
hackage: liquid-fixpoint-0.7.0.7
- completed:
hackage: clock-0.8.2@sha256:473ffd59765cc67634bdc55b63c699a85addf3a024089073ec2a862881e83e2a,4313
pantry-tree:
size: 383
sha256: 8c259cbab153b142020fcb1bd4ca787e0205b5faef6fa2457d83c5d726147a93
original:
hackage: clock-0.8.2@sha256:473ffd59765cc67634bdc55b63c699a85addf3a024089073ec2a862881e83e2a,4313
- completed:
hackage: dotgen-0.4.3@sha256:6045b1243f1b716d0cd67198f0cd75d96db9f63c5cc0826d05e0dc855fcbf9d0,1874
pantry-tree:
size: 358
sha256: 09cabbae2ccd2615fc2b532136334be336ba7da924d592df79702bf075ecbd21
original:
hackage: dotgen-0.4.3@sha256:6045b1243f1b716d0cd67198f0cd75d96db9f63c5cc0826d05e0dc855fcbf9d0,1874
- completed:
hackage: fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e,995
pantry-tree:
size: 224
sha256: 969d6b60ea298ffb81697dd350e76774a2f876103a147117f832400451ad2cc3
original:
hackage: fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e,995
- completed:
hackage: located-base-0.1.1.1@sha256:7c6395f2b6fbf2d5f76c3514f774423838c0ea94e1c6a5530dd3c94b30c9d1c8,1904
pantry-tree:
size: 534
sha256: 9d7b96ce785b464253dcf0ac2d8eb0be4cae6b96ed3960d66b81c373b540ed3f
original:
hackage: located-base-0.1.1.1@sha256:7c6395f2b6fbf2d5f76c3514f774423838c0ea94e1c6a5530dd3c94b30c9d1c8,1904
- completed:
hackage: tasty-quickcheck-0.10.1.2@sha256:45c8125e5de19570359784def5946dec759b7431e3beccc61cd09d661daf19ed,1613
pantry-tree:
size: 332
sha256: 8cb843e85e695a33f319f7525662ceeff860d94622da27389ab517e336abb3b8
original:
hackage: tasty-quickcheck-0.10.1.2@sha256:45c8125e5de19570359784def5946dec759b7431e3beccc61cd09d661daf19ed,1613
- completed:
hackage: text-1.2.3.1@sha256:ceb05f2a77b82bffe58c9ce8d8ad447191e4509bd28c14bf3da610bd6b82a62b,8560
pantry-tree:
size: 7456
sha256: c9b38b60593401bb378b694a42b085d46f74f97d86d39edeb01a616965f2b581
original:
hackage: text-1.2.3.1@sha256:ceb05f2a77b82bffe58c9ce8d8ad447191e4509bd28c14bf3da610bd6b82a62b,8560
- completed:
hackage: text-builder-0.6.6.2@sha256:6f7a742a5e9523ae10adc9eb2f5090e734fda4160d518c1b3da624d55d7f4a2e,4177
pantry-tree:
size: 542
sha256: aac0deee01fc8409e2988c2e4726d0335b25708f76c5abcf86d9a945dbed7aee
original:
hackage: text-builder-0.6.6.2@sha256:6f7a742a5e9523ae10adc9eb2f5090e734fda4160d518c1b3da624d55d7f4a2e,4177
- completed:
hackage: deferred-folds-0.9.17@sha256:1cd2ef9e1aa305fac1b6b9cabeb371bb95bedaac0444c1e7959f622350c86d69,2986
pantry-tree:
size: 1038
sha256: 2da142742bfc31b6026daacde0e61a1e23c22c2ab7f7f3f6bd578d4ddec07d10
original:
hackage: deferred-folds-0.9.17@sha256:1cd2ef9e1aa305fac1b6b9cabeb371bb95bedaac0444c1e7959f622350c86d69,2986
- completed:
hackage: unordered-containers-0.2.14.0@sha256:2fe789f78246b7c7ec10d7b85c72d898a9f72fdda5b60d581e839d21016bc628,4992
pantry-tree:
size: 1388
sha256: 5121130cab52b113a4b8affcf330fee1f896716f47e170893d72a301f9d27233
original:
hackage: unordered-containers-0.2.14.0@sha256:2fe789f78246b7c7ec10d7b85c72d898a9f72fdda5b60d581e839d21016bc628,4992
snapshots:
- completed:
size: 527836
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/11/22.yaml
sha256: 341870ac98d8a9f8f77c4adf2e9e0b22063e264a7fbeb4c85b7af5f380dac60e
original: lts-11.22