-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
90 lines (89 loc) · 3.43 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
# 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:
commit: d7d0da6b5df8045afdfb820ba8d08f34dc4c3e58
git: https://github.com/btq-ag/galois-field.git
name: galois-field
pantry-tree:
sha256: 0b9cd01ab0ed19b29bc34aed4157dbb05eef1dabb543b349c9720dbc743aca72
size: 4656
version: 1.0.4
original:
commit: d7d0da6b5df8045afdfb820ba8d08f34dc4c3e58
git: https://github.com/btq-ag/galois-field.git
- completed:
commit: 7eefe0f883fd5b595f133ef17b39fd69df737835
git: https://github.com/btq-ag/keelung.git
name: keelung
pantry-tree:
sha256: 59ab32e97ac93af5e008d6a509331cee9cd543047ba84b82c58671094022e8cc
size: 1877
version: 0.19.0
original:
commit: 7eefe0f883fd5b595f133ef17b39fd69df737835
git: https://github.com/btq-ag/keelung.git
- completed:
hackage: hashable-1.3.5.0@sha256:3a2beeafb220f9de706568a7e4a5b3c762cc4c9f25c94d7ef795b8c2d6a691d7,4240
pantry-tree:
sha256: 4df2f6b536a0fcc5f7d562cb29e373f27dc4a2747452ac5cc74c1599cab22fc5
size: 1248
original:
hackage: hashable-1.3.5.0
- completed:
hackage: rest-rewrite-0.4.1@sha256:1254960c0a595cf4c9d5a3b986f42644407c63c74578d75b3568a6a12e5143f0,3886
pantry-tree:
sha256: 17b4e99420cc1929e2b7d29558a0f909d6fcabd263fbc590dbf2585f893f5a6e
size: 4018
original:
hackage: rest-rewrite-0.4.1
- completed:
hackage: smtlib-backends-0.3@sha256:917d88540a9ede7beedbe2ed13b492acddbce394d30ccf5d0ef4f4fba9aa2c12,1157
pantry-tree:
sha256: 59b578ae7df155a6c73a513358370747e3cc6229ebb44adaba9e0935f811539c
size: 275
original:
hackage: smtlib-backends-0.3
- completed:
hackage: smtlib-backends-process-0.3@sha256:d4d7d02859383e0a43db2d8ce7ef01deffe1bcd356b2ff8626925c3a1c8db922,1600
pantry-tree:
sha256: d7d8ec52d07f4a59614000fd93d77b109d085d58f2d96e2c4b972f541c4e8287
size: 461
original:
hackage: smtlib-backends-process-0.3
- completed:
hackage: liquidhaskell-0.9.2.8.0@sha256:0047b9c51aee1738f2b8aefd42c3d75a78f04a8c38ffddf182619589db410eb9,3475
pantry-tree:
sha256: c52b7a1bee8310cd7adabd25a9c9a60eeb1d1d8b8812f5e8de6dd840e21ea163
size: 3291
original:
hackage: liquidhaskell-0.9.2.8.0
- completed:
hackage: liquid-prelude-0.9.2.8.1@sha256:f91d3a6dfc913f9ea1665af4ad92cc0e32d27d981244552129b083d169b1eb2e,1481
pantry-tree:
sha256: 83ff7d4ed1411fbe597c1cfe27989e19352731b511bbdc72ed1e262f13ca93ca
size: 882
original:
hackage: liquid-prelude-0.9.2.8.1
- completed:
hackage: liquidhaskell-boot-0.9.2.8.0@sha256:b50ea67b051e0914cf7279942a8168cfdc6c9bf9eb4699a6ca6367142ad710ab,9835
pantry-tree:
sha256: d0b1eca3c824fbea5fa758f92d5825c8037f5d46172223af20c6652fd1c8f0a2
size: 7768
original:
hackage: liquidhaskell-boot-0.9.2.8.0
- completed:
hackage: liquid-fixpoint-0.9.2.5@sha256:4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5,9406
pantry-tree:
sha256: eed85537200105f10ec9d2c7e2a91a5693b9a7008222759c6e6401e546eb87f5
size: 15988
original:
hackage: liquid-fixpoint-0.9.2.5
snapshots:
- completed:
sha256: 5a59b2a405b3aba3c00188453be172b85893cab8ebc352b1ef58b0eae5d248a2
size: 650475
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/26.yaml
original: lts-20.26