-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
55 lines (54 loc) · 2.13 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
# 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: z3-408.1@sha256:809968ed9329172448a7c89ce327cfa1c9632272d2a2c06211025257100c5c93,4116
pantry-tree:
size: 1475
sha256: abb36d87c8790196fada5754fdbcc88eaf8c956ac419aa8544718d15eb3a0ae5
original:
hackage: z3-408.1
- completed:
name: smt2-parser
version: 0.1.0.0
git: https://github.com/crvdgc/smt2-parser
pantry-tree:
size: 993
sha256: f9182e6ad592fdb7255b196b48265a1df1cc1040e27313143b24fb6f72c1fb86
commit: 401d38bb01d3615875588a28a2424c57b47f2265
original:
git: https://github.com/crvdgc/smt2-parser
commit: 401d38bb01d3615875588a28a2424c57b47f2265
- completed:
name: pretty-simple
version: 4.0.0.0
git: https://github.com/cdepillabout/pretty-simple
pantry-tree:
size: 1747
sha256: a324c348c29676a2a23cccc3b72faec6ec4615835937e4e089cdc6aa5991e9ec
commit: c20addb015ccd4cc35251db6f09f77485ca7470d
original:
git: https://github.com/cdepillabout/pretty-simple
commit: c20addb015ccd4cc35251db6f09f77485ca7470d
- completed:
hackage: prettyprinter-1.7.0@sha256:6a9569e21fa61163a7f066d23d701e23e917893e8f39733d6e617ec72787ae5f,6007
pantry-tree:
size: 3194
sha256: d22f820a1f63497f7fd7e1f04b7d356d92de35582258f6ad55428c88b09e63ff
original:
hackage: prettyprinter-1.7.0@sha256:6a9569e21fa61163a7f066d23d701e23e917893e8f39733d6e617ec72787ae5f,6007
- completed:
hackage: mios-1.6.2@sha256:18cfd492792cf4f0fbd8664aee8717fe75771355921d47d69f23b67eed1280a4,5077
pantry-tree:
size: 1556
sha256: 4adcfb8789415b210df43a9f6c2b445511816527be1a2fb4b950a6e103d4a590
original:
hackage: mios-1.6.2@sha256:18cfd492792cf4f0fbd8664aee8717fe75771355921d47d69f23b67eed1280a4,5077
snapshots:
- completed:
size: 532835
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/16/24.yaml
sha256: cf2b52420b2262fe9cf0f6744929120131abd6675b1c3fb2d8b155a47f80d103
original: lts-16.24