-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstack.yaml.lock
84 lines (83 loc) · 3.25 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
# 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: decision-diagrams-0.2.0.0@sha256:9f82d39f7331f6836784fa89354986e436a4d62d810b8fb2b44dd10c6a0beb85,3415
pantry-tree:
sha256: 36696cfd2af10c44fc0b7d8746c57d94c476eef4ba16f6ac98c2d6dae04f4b36
size: 866
original:
hackage: decision-diagrams-0.2.0.0
- completed:
hackage: hashable-1.4.2.0@sha256:585792335d5541dba78fa8dfcb291a89cd5812a281825ff7a44afa296ab5d58a,4520
pantry-tree:
sha256: 792a6cab3f15c5db29d759c8ca735d0be5f4c94f363329652f8b9780009d0829
size: 1248
original:
hackage: hashable-1.4.2.0
- completed:
hackage: smtlib-backends-0.3@sha256:a947aead99f6a314833bddca9b502d5faea8d3bd2fc76ffb53c34d5c5b7557bc,1211
pantry-tree:
sha256: 97b88a647ac996808a93b2eab62e9e8574d9b9a451ee37a9103e209b63be012d
size: 275
original:
hackage: smtlib-backends-0.3
- completed:
hackage: smtlib-backends-process-0.3@sha256:caf131d3d6f6825e3a3182713130a8e14d0bd6530eeda643e8a511b546ff1a26,1676
pantry-tree:
sha256: 7147fef29b4270275168a285fc0c68784329d1276ab9e44e9a45f8d79b526220
size: 461
original:
hackage: smtlib-backends-process-0.3
- completed:
hackage: monad-validate-1.3.0.0@sha256:eb6ddd5c9cf72ff0563cba604fa00291376e96138fdb4932d00ff3a99d66706e,2605
pantry-tree:
sha256: 0b2a3a57be48fcc739708b214fca202f1e95b1cd773dd3bb9589d3007cf8cf5e
size: 611
original:
hackage: monad-validate-1.3.0.0
- completed:
commit: 531f7c1db1a9fad6d18cbcedb3cfd3e35d6b82a5
git: https://github.com/runtimeverification/haskell-backend.git
name: kore
pantry-tree:
sha256: 3622275a4699b19b8e69fddecda6e0d20ab95e646557759369b34b95e96451a6
size: 44685
subdir: kore
version: 0.60.0.0
original:
commit: 531f7c1db1a9fad6d18cbcedb3cfd3e35d6b82a5
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore
- completed:
commit: 531f7c1db1a9fad6d18cbcedb3cfd3e35d6b82a5
git: https://github.com/runtimeverification/haskell-backend.git
name: kore-rpc-types
pantry-tree:
sha256: c08829b9bd9b68d767f4a6833f0ab56d0e8841ac28571b5cec21ae85f0fc37f4
size: 476
subdir: kore-rpc-types
version: 0.60.0.0
original:
commit: 531f7c1db1a9fad6d18cbcedb3cfd3e35d6b82a5
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore-rpc-types
- completed:
name: tasty-test-reporter
pantry-tree:
sha256: 474bc3fcf7719257c5a6c3b6b883a41c1fc2e7eb61b42f9ecb93ffe1ad36a592
size: 861
sha256: 52f8ee5c20aa71ab40f612d617e5d2871ce42c1092de7f500cfc0088671cebab
size: 235629
url: https://github.com/goodlyrottenapple/tasty-test-reporter/archive/b704130545aa3925a8487bd3e92f1dd5ce0512e2.tar.gz
version: 0.1.1.4
original:
url: https://github.com/goodlyrottenapple/tasty-test-reporter/archive/b704130545aa3925a8487bd3e92f1dd5ce0512e2.tar.gz
snapshots:
- completed:
sha256: 1ecd36c6af82cd6940fd16e4ecf40ac6e3844ba8f49873e34f1cf12bd1f9dfb1
size: 712886
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/10.yaml
original: lts-22.10