This repository was archived by the owner on Jan 28, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathstack.yaml.lock
More file actions
107 lines (106 loc) · 5.07 KB
/
stack.yaml.lock
File metadata and controls
107 lines (106 loc) · 5.07 KB
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
# 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
snapshots:
- original: lts-14.27
completed:
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/14/27.yaml
sha256: 7ea31a280c56bf36ff591a7397cc384d0dff622e7f9e4225b47d8980f019a0f0
size: 524996
packages:
- original:
url: https://github.com/alex-ozdemir/haskell-z3/archive/6366ff55d377dcb27451be522692475c2030f41c.tar.gz
completed:
pantry-tree:
sha256: 86356047d818f2ff9b74f8e9ac7baedbb94a0c0e16fb8e69533cee9c5ad373e7
size: 1525
version: '408.0'
name: z3
url: https://github.com/alex-ozdemir/haskell-z3/archive/6366ff55d377dcb27451be522692475c2030f41c.tar.gz
sha256: 80e780e97bdd00496ed75b35c92ede77a088ee58a11b06c2c6b58d3b1e0027af
size: 69262
- original:
hackage: arithmoi-0.11.0.1@sha256:5cb0d81848d25b20e58c1426bf1ff9dc4137efc182c9c4c567102e5fa16f1079,7639
completed:
pantry-tree:
sha256: 411702e6277e708f7567b398b676cf75d38d12114f6b5932a895ce835b362b3d
size: 10135
hackage: arithmoi-0.11.0.1@sha256:5cb0d81848d25b20e58c1426bf1ff9dc4137efc182c9c4c567102e5fa16f1079,7639
- original:
hackage: galois-field-1.0.2@sha256:ecfdd72259a3db7dc89ddeaa5c5dd7d7bcc305c0450a89c757d93fe2ddb71c77,4685
completed:
pantry-tree:
sha256: 4b3eecd9ca434ee37785a1f3c4312c76760d9b79de05048fa17b0878c30f503c
size: 1451
hackage: galois-field-1.0.2@sha256:ecfdd72259a3db7dc89ddeaa5c5dd7d7bcc305c0450a89c757d93fe2ddb71c77,4685
- original:
hackage: ghc-typelits-knownnat-0.7.2@sha256:63054c8108f21a4bc5ace477227476b72a4e3792f35f37f2d406eef262ae4346,4711
completed:
pantry-tree:
sha256: 9267f4f6bcd9cf66db26b223c3da7f4f4a883a07af3d6bf26ae6e2157e237972
size: 602
hackage: ghc-typelits-knownnat-0.7.2@sha256:63054c8108f21a4bc5ace477227476b72a4e3792f35f37f2d406eef262ae4346,4711
- original:
hackage: llvm-hs-9.0.1@sha256:ee6ec2eb8cba4daf2a43586388a87dbfd6a2ec6d81d1f9965896ac187acad286,8700
completed:
pantry-tree:
sha256: 537616dec1351bd9f7905182f82f132359cf3058ebbb059c03b4edcef04b2689
size: 13599
hackage: llvm-hs-9.0.1@sha256:ee6ec2eb8cba4daf2a43586388a87dbfd6a2ec6d81d1f9965896ac187acad286,8700
- original:
hackage: language-c-0.9.0.1@sha256:7a1c57e8f9c29e94bcd5c748d99e4479a73bd8560cc0affd838f3b2d1bbc0384,4893
completed:
pantry-tree:
sha256: 65cf3410da4684205319a8f2dd4cf22edf8b76b1423b62bdbb88a53663cb88ed
size: 3496
hackage: language-c-0.9.0.1@sha256:7a1c57e8f9c29e94bcd5c748d99e4479a73bd8560cc0affd838f3b2d1bbc0384,4893
- original:
hackage: llvm-hs-pure-9.0.0@sha256:134779f40086a366279f678e670b610d7a7618b28dd43f65894078fd20e04629,2945
completed:
pantry-tree:
sha256: f1a83aa959b69b72342997fc4fdc352086bc3b9f306cfb6a4c8bbc850d36b4fb
size: 2600
hackage: llvm-hs-pure-9.0.0@sha256:134779f40086a366279f678e670b610d7a7618b28dd43f65894078fd20e04629,2945
- original:
hackage: chimera-0.3.1.0@sha256:1cacfe53e2ce9eda0eec6ae8b51af6c5626e0202333c08080f87d30bf9ed8b19,2525
completed:
pantry-tree:
sha256: b4a6ef4d4eed677e23e5932b8f187533ba2efece7410005ffcbdcec4c98e1df8
size: 637
hackage: chimera-0.3.1.0@sha256:1cacfe53e2ce9eda0eec6ae8b51af6c5626e0202333c08080f87d30bf9ed8b19,2525
- original:
hackage: ghc-typelits-natnormalise-0.7.2@sha256:0fc48a3744aa25e5e53a054a8bb1fe6410752e497f446d75db9bd67bb258d05e,3495
completed:
pantry-tree:
sha256: 08645cba16a116cba18f2ba0bcc6d1721a3ad77720a0717a9f2caa78c5e8f48b
size: 609
hackage: ghc-typelits-natnormalise-0.7.2@sha256:0fc48a3744aa25e5e53a054a8bb1fe6410752e497f446d75db9bd67bb258d05e,3495
- original:
hackage: integer-roots-1.0@sha256:5ea7ecb80633fb05a8a36acd40e9da6fe22a6cef320b1310cb9f0330801ac124,2271
completed:
pantry-tree:
sha256: f783228151085419e8ea328580aa4a4feec5d97b5ec7e14f893e239844fef9e4
size: 1543
hackage: integer-roots-1.0@sha256:5ea7ecb80633fb05a8a36acd40e9da6fe22a6cef320b1310cb9f0330801ac124,2271
- original:
hackage: mod-0.1.2.0@sha256:4c331986c46808d89da590d791841f046509041c849c4254b0872c72284f73ad,2202
completed:
pantry-tree:
sha256: e98a21bc2bdaba7dfba0aeb33d7b2ed5472cd496aea38098b40bac665171cefb
size: 466
hackage: mod-0.1.2.0@sha256:4c331986c46808d89da590d791841f046509041c849c4254b0872c72284f73ad,2202
- original:
hackage: poly-0.4.0.0@sha256:75c243113712745dab5d2f4a52643705e146473770af212f9e0ce3d87a83f2ed,2123
completed:
pantry-tree:
sha256: 06f435980848905d2bcf23b85782863b1608f7a78dbdaea42e33a2e865adf476
size: 1896
hackage: poly-0.4.0.0@sha256:75c243113712745dab5d2f4a52643705e146473770af212f9e0ce3d87a83f2ed,2123
- original:
hackage: semirings-0.5.4@sha256:5bd49c52a22c876c93d030cafa96b1233e9e7c42dacbe9f49686574368578c9c,2998
completed:
pantry-tree:
sha256: 83e891acded173adc21b1bcce537f70f82d4b835fb42a41838ddf58d7bde7c7b
size: 610
hackage: semirings-0.5.4@sha256:5bd49c52a22c876c93d030cafa96b1233e9e7c42dacbe9f49686574368578c9c,2998