Skip to content
Permalink
Browse files

Commit Stack lockfile

  • Loading branch information
cwgoes committed Nov 9, 2019
1 parent d85137f commit 628d882238a5fd612deb0f26b9de3cb29ffba68a
Showing with 245 additions and 1 deletion.
  1. +0 −1 .gitignore
  2. +245 −0 stack.yaml.lock
@@ -20,7 +20,6 @@ tmp/

# Idris temporary
*.ibc
stack.yaml.lock

# Agda temporary
*.agdai
@@ -0,0 +1,245 @@
# 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: llvm-hs-9.0.0@sha256:b036b8d3a78607310382f82b7c5303ffc31afb9735875bb64521501144cc5728,8700
pantry-tree:
size: 13599
sha256: d572dd639dd315c94eccdfd9b10a3c266163cf945778141087a003c1ed836a91
original:
hackage: llvm-hs-9.0.0
- completed:
hackage: llvm-hs-pure-9.0.0@sha256:134779f40086a366279f678e670b610d7a7618b28dd43f65894078fd20e04629,2945
pantry-tree:
size: 2600
sha256: f1a83aa959b69b72342997fc4fdc352086bc3b9f306cfb6a4c8bbc850d36b4fb
original:
hackage: llvm-hs-pure-9.0.0
- completed:
hackage: capability-0.2.0.0@sha256:7049527e0bede44f8aeabdd0f41c50ec78da5835796e6a477615502665127a62,2424
pantry-tree:
size: 1700
sha256: 4fd1bb99e96335ff8ee0d1562c4bdcba8acfe6db6ddecfaa55dfdd549f7f542b
original:
hackage: capability-0.2.0.0@sha256:7049527e0bede44f8aeabdd0f41c50ec78da5835796e6a477615502665127a62,2424
- 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: morley-0.3.0.1@sha256:dc7586ba0c1a2a5ba4a3e4a5afa4527463b91c73dfb58a7162d4297a97eb7688,10436
pantry-tree:
size: 9548
sha256: 18a6088ac62d8c3e1e2d011981009b148c3a9b68aef8fa0b8f6ab83ee2da42c6
original:
hackage: morley-0.3.0.1@sha256:dc7586ba0c1a2a5ba4a3e4a5afa4527463b91c73dfb58a7162d4297a97eb7688,10436
- completed:
hackage: aeson-options-0.1.0@sha256:2d0c25afbb2d038bd5b57de8d042e319ea1a5ec7d7b92810d8a0cf0777882b6a,1244
pantry-tree:
size: 277
sha256: 4a3ddbdaa61d788155aac6e7601d429a8820441f7b5e31d417b2dbdbf9748be2
original:
hackage: aeson-options-0.1.0@sha256:2d0c25afbb2d038bd5b57de8d042e319ea1a5ec7d7b92810d8a0cf0777882b6a,1244
- completed:
hackage: base58-bytestring-0.1.0@sha256:a1da72ee89d5450bac1c792d9fcbe95ed7154ab7246f2172b57bd4fd9b5eab79,1913
pantry-tree:
size: 419
sha256: 053784f8edef6433518c873a7c502dc75348f812e2384e1306f90467ea54f40b
original:
hackage: base58-bytestring-0.1.0@sha256:a1da72ee89d5450bac1c792d9fcbe95ed7154ab7246f2172b57bd4fd9b5eab79,1913
- completed:
hackage: hex-text-0.1.0.0@sha256:52dc2cf5ce45f7d86ea5e56e2ac57820f788c10bbb3fe83f6d57e678a426305b,1072
pantry-tree:
size: 314
sha256: 84ce6d618602d39e89e28b1a9cc41f0def4786d7046ac0a742557b5ab5381466
original:
hackage: hex-text-0.1.0.0@sha256:52dc2cf5ce45f7d86ea5e56e2ac57820f788c10bbb3fe83f6d57e678a426305b,1072
- completed:
hackage: morley-prelude-0.2.0.1@sha256:307db535ef79b0e0ed40c7bfbe305cd67c7561f686ae46bf985a971a9a064f5c,2083
pantry-tree:
size: 261
sha256: 2e4a913b38e302636973b18eda867244e4b69b9a8e9029aab536878310d356c8
original:
hackage: morley-prelude-0.2.0.1@sha256:307db535ef79b0e0ed40c7bfbe305cd67c7561f686ae46bf985a971a9a064f5c,2083
- completed:
hackage: ghci-pretty-0.0.2@sha256:5f6c2a9f1d391aa0ad3c3d0bfe1f39decfe94be50fbf5a5279e2dbc18f8b4c51,1409
pantry-tree:
size: 319
sha256: a4b88a62d7713697bf45af6997ab1f0383a9425eacf8611cb420c135c0b30baf
original:
hackage: ghci-pretty-0.0.2@sha256:5f6c2a9f1d391aa0ad3c3d0bfe1f39decfe94be50fbf5a5279e2dbc18f8b4c51,1409
- completed:
hackage: restless-git-0.7@sha256:346a5775a586f07ecb291036a8d3016c3484ccdc188b574bcdec0a82c12db293,968
pantry-tree:
size: 269
sha256: 26b37a66c08215e18a914600aae8a61a6ba4611243a0b31ea27437d6c83701cb
original:
hackage: restless-git-0.7@sha256:346a5775a586f07ecb291036a8d3016c3484ccdc188b574bcdec0a82c12db293,968
- completed:
hackage: s-cargot-0.1.4.0@sha256:61ea1833fbb4c80d93577144870e449d2007d311c34d74252850bb48aa8c31fb,3525
pantry-tree:
size: 1467
sha256: 280c1899ea1a905f01785e175ff029748e9913388d25e02a8e4cdceb9a92b722
original:
hackage: s-cargot-0.1.4.0@sha256:61ea1833fbb4c80d93577144870e449d2007d311c34d74252850bb48aa8c31fb,3525
- completed:
hackage: semver-range-0.2.8@sha256:44918080c220cf67b6e7c8ad16f01f3cfe1ac69d4f72e528e84d566348bb23c3,1941
pantry-tree:
size: 401
sha256: fd72964da8246cc09d477b4c6e6f20971de058917d08d9f8183f5c0e2116f9c6
original:
hackage: semver-range-0.2.8@sha256:44918080c220cf67b6e7c8ad16f01f3cfe1ac69d4f72e528e84d566348bb23c3,1941
- completed:
hackage: tree-view-0.5@sha256:85fbc67b53c1ef47f020a69051e6a29b27481698fe802cd2ed8ab0108aa69a38,1231
pantry-tree:
size: 215
sha256: d9a18211606d72c340943d0a23fc119e94561f81fa4be118764c8288d259aeff
original:
hackage: tree-view-0.5@sha256:85fbc67b53c1ef47f020a69051e6a29b27481698fe802cd2ed8ab0108aa69a38,1231
- completed:
hackage: HSH-2.1.3@sha256:71ded11b224f5066373ce985ec63b10c87129850b33916736dd64fa2bea9ea0a,1705
pantry-tree:
size: 473
sha256: 95f49f9dad6e4976d1b53c59fd4405a978ca8baecc721d508a030615241d69be
original:
hackage: HSH-2.1.3@sha256:71ded11b224f5066373ce985ec63b10c87129850b33916736dd64fa2bea9ea0a,1705
- completed:
hackage: ipprint-0.6@sha256:48ffe7c5acab06fbd70a68aa12bc980cc33dcf8f41bd76d692e3dee8805584c7,1417
pantry-tree:
size: 202
sha256: c23445b7f035386d53b3046694672d165a5dfc9f20061c6ed5d3cd29ff0ef655
original:
hackage: ipprint-0.6@sha256:48ffe7c5acab06fbd70a68aa12bc980cc33dcf8f41bd76d692e3dee8805584c7,1417
- completed:
hackage: Unixutils-1.54.1@sha256:c6afbaf6d68ba229d0d262e066376c300f25b798d5752f162476155cadf1114d,1123
pantry-tree:
size: 721
sha256: 8937255aca34ba7aa7d92cb61a7f36a15ed71074d3c9c10240a8d696b22e8881
original:
hackage: Unixutils-1.54.1@sha256:c6afbaf6d68ba229d0d262e066376c300f25b798d5752f162476155cadf1114d,1123
- completed:
hackage: show-please-0.5.5@sha256:5ca32d758486dfb839ec428a8bf356187e1ac8e440cd90585e92b1ded2b3ae87,681
pantry-tree:
size: 161
sha256: a8571082b321ea8492709466450b59d393ed2326bcc4f510a4a55395dfe1ed0d
original:
hackage: show-please-0.5.5@sha256:5ca32d758486dfb839ec428a8bf356187e1ac8e440cd90585e92b1ded2b3ae87,681
- completed:
hackage: userid-0.1.3.3@sha256:5c0bc9403d906787ee0e9fbc98c28bc2ac757aa9ef82059a41230c9f87e2618b,1136
pantry-tree:
size: 205
sha256: e6bd74e2ccd0b464398dcd84ae7291851d1d9046c09c4a1ab9d7444809c8425c
original:
hackage: userid-0.1.3.3@sha256:5c0bc9403d906787ee0e9fbc98c28bc2ac757aa9ef82059a41230c9f87e2618b,1136
- completed:
hackage: boomerang-1.4.5.6@sha256:4f8407b9482a500ef9f8dc3fa13f9615d4d33a7c530b67c1ca27535e136a152d,1965
pantry-tree:
size: 791
sha256: 12b1a2bf4fd15b0435d41dd76b29a16899c5afc89b3a177d754050e73fc21cbd
original:
hackage: boomerang-1.4.5.6@sha256:4f8407b9482a500ef9f8dc3fa13f9615d4d33a7c530b67c1ca27535e136a152d,1965
- completed:
hackage: web-routes-th-0.22.6.4@sha256:1e7817a65a8908d6c681790a534e583371a16680c7951d11901202c121c722fb,1547
pantry-tree:
size: 267
sha256: 2d830a850981ae05b70d01855af074f768721eae32d8c64e41443b928b53c626
original:
hackage: web-routes-th-0.22.6.4@sha256:1e7817a65a8908d6c681790a534e583371a16680c7951d11901202c121c722fb,1547
- completed:
hackage: unexceptionalio-0.4.0@sha256:c59fa6be7b923fa32ad6a830f96918cd3019b5a6dba019c81da19df9955d8d58,1239
pantry-tree:
size: 217
sha256: 9a8bfef644901c30bad7e7439223448e409182c7f63047413eac78359eac79f0
original:
hackage: unexceptionalio-0.4.0@sha256:c59fa6be7b923fa32ad6a830f96918cd3019b5a6dba019c81da19df9955d8d58,1239
- completed:
hackage: brick-0.46@sha256:78629a4da6b759c78ec264bedc9e794edeb55a302d17015d0278620eef4ebe29,13852
pantry-tree:
size: 3752
sha256: 1a8c529c82fd79070f4c48bdd34496a864c88130e8c07a766fa1111823f6866d
original:
hackage: brick-0.46
- completed:
size: 24276
url: https://github.com/acid-state/safecopy/archive/1be0894daeefff5126b25c9483ce2bf21845d05b.tar.gz
cabal-file:
size: 2660
sha256: 3e501301303a82d9e4bc9e24b96b9a5ce60d0dc0859b59872fe72616d95e28e0
name: safecopy
version: 0.10.2
sha256: 136545d2093536735d9e285e7d2f12db127da821413b3b79dfdddbcbbbb60f57
pantry-tree:
size: 807
sha256: 230c3aec99d508839b90a1b8e7f8ebb0e8f95425ab8982bd2227f019400b6bec
original:
url: https://github.com/acid-state/safecopy/archive/1be0894daeefff5126b25c9483ce2bf21845d05b.tar.gz
- completed:
size: 51947
url: https://github.com/seereason/sr-extra/archive/d5435dcb2ae5da5f9e0fb8e5a3c40f99937a046f.tar.gz
cabal-file:
size: 3146
sha256: f7e1e4edbe53a5b982e4ccf6a796881a61df4e959bd372659e6958e5c381c9ca
name: sr-extra
version: '1.65'
sha256: e82c3443094ace54328f1380df201ea54a7a40b893ebe82dabc9d51120ef8ff4
pantry-tree:
size: 3296
sha256: 13618df6d33cdbbfa75396dcfa7fd5137b7183c440f9c6ceb0a0d3a0fb144d97
original:
url: https://github.com/seereason/sr-extra/archive/d5435dcb2ae5da5f9e0fb8e5a3c40f99937a046f.tar.gz
- completed:
size: 66205
url: https://github.com/cwgoes/haskell-z3/archive/889597234bcdf5620c5a69d3405ab4d607ba4d71.tar.gz
cabal-file:
size: 4116
sha256: 980e6e2d63104c25a8660c2f50c6dda760a9c600cc001c9179d618ceb1cf7850
name: z3
version: '408.0'
sha256: 57207ca741e267db4b10fad1dbcf7c26336ebec49ea47a6eecd80256e0ad6654
pantry-tree:
size: 1524
sha256: 9e2a7d6867321b1c7b714ea2c08bd1ceecfe570d19dfe6d91e28905f2a7db29e
original:
url: https://github.com/cwgoes/haskell-z3/archive/889597234bcdf5620c5a69d3405ab4d607ba4d71.tar.gz
- completed:
size: 2258
url: https://github.com/cwgoes/uuid-orphans/archive/e23b58b46affb978c17a0eb3e760d28b058658ce.tar.gz
cabal-file:
size: 1063
sha256: 1358ab8f2415363e279b00736fc3e0ef10006a555b7dcbb35f2f271a2fb88e20
name: uuid-orphans
version: 1.4.4
sha256: c5d4e6de0e3d5538ce4ac493ef7213bf9b689ddff45d45457ca91b09834462f0
pantry-tree:
size: 171
sha256: bed044eaaea4ab1dd921fb46c0e22b53d645efac3613674062c5f4eb5f8411c0
original:
url: https://github.com/cwgoes/uuid-orphans/archive/e23b58b46affb978c17a0eb3e760d28b058658ce.tar.gz
- completed:
size: 363050
subdir: src/hevm
url: https://github.com/dapphub/dapptools/archive/38dd682fa6c433e5720bd9022779ffc6a1ce00fc.tar.gz
cabal-file:
size: 6306
sha256: 8729cfbcd4bbf4c392f75efdd0b54bcdee2b785b761197e2b053bd6bc72c55f8
name: hevm
version: '0.35'
sha256: 5ddef048ecfdf9aad5aa5850cd766fd8bf247ed1055c3cd2e85112373e5bc153
pantry-tree:
size: 3288
sha256: 5dc2e6893be4eedafd6ec8f02d6017958fa5b660f11e81d613072c55ec15006b
original:
subdir: src/hevm
url: https://github.com/dapphub/dapptools/archive/38dd682fa6c433e5720bd9022779ffc6a1ce00fc.tar.gz
snapshots:
- completed:
size: 545658
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/14/12.yaml
sha256: 26b807457213126d26b595439d705dc824dbb7618b0de6b900adc2bf6a059406
original: lts-14.12

0 comments on commit 628d882

Please sign in to comment.
You can’t perform that action at this time.