vc-gen/stack.yaml.lock at main · Verification-for-Security/vc-gen · GitHub

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
# 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: language-ecmascript-0.19.1.0@sha256:2cf08e581980e69fbac5f941c9f6493dc4c3527817c3d395f33f3ffb8ef98253,3833
    pantry-tree:
      sha256: 5144da4ce52ff5c5783ed6ab22781b588ea88c8bb1a58b9658cc113623565ad4
      size: 2454
  original:
    hackage: language-ecmascript-0.19.1.0@sha256:2cf08e581980e69fbac5f941c9f6493dc4c3527817c3d395f33f3ffb8ef98253,3833
- completed:
    hackage: z3-408.2@sha256:1f8b6ccbcc6d06a6701900a09fcfcbaf86ed8a8495615710bef4da5cdb073a3f,4226
    pantry-tree:
      sha256: e8562391054f4e07035ab25e1c7ecfba687a46e15aefee4c588b6434dc0b93d8
      size: 1476
  original:
    hackage: z3-408.2@sha256:1f8b6ccbcc6d06a6701900a09fcfcbaf86ed8a8495615710bef4da5cdb073a3f,4226
- completed:
    hackage: hspec-2.10.6@sha256:c90dbcc629e88e5f56021c7dba26a97109a0c441aeece6ead217ee3fc83dcb68,1712
    pantry-tree:
      sha256: e61c983a62c1a72b1fe83aea65f95bba3fcde6f787dc5025090a701894c1b6ff
      size: 583
  original:
    hackage: hspec-2.10.6@sha256:c90dbcc629e88e5f56021c7dba26a97109a0c441aeece6ead217ee3fc83dcb68,1712
- completed:
    hackage: hspec-core-2.10.6@sha256:68a74267974fee22f4bc57b5d353391e8dc943b0d7ffaf5d47dab691765ee772,6659
    pantry-tree:
      sha256: 2c89341dd4d9ac200c3057e29be34e1c281207e04c44681093dd1e76e3ab46cc
      size: 5907
  original:
    hackage: hspec-core-2.10.6@sha256:68a74267974fee22f4bc57b5d353391e8dc943b0d7ffaf5d47dab691765ee772,6659
- completed:
    hackage: hspec-discover-2.10.6@sha256:df63254c5aa8c5c2b9233b0067728394936b6c9af7e3a5d3d44df78d888dcefd,2167
    pantry-tree:
      sha256: 7cf0a4ca06d993fe934334a4b67ddbc54cfca2b622f795410c1889e6443401eb
      size: 828
  original:
    hackage: hspec-discover-2.10.6@sha256:df63254c5aa8c5c2b9233b0067728394936b6c9af7e3a5d3d44df78d888dcefd,2167
- completed:
    commit: aa491476e220e5372f06133516d2626b39ad9a79
    git: https://github.com/Verification-for-Security/hrubric.git
    name: hrubric
    pantry-tree:
      sha256: 00e86456522f124714cb9aa18554ad4c740d9a747b20f47de9af48f9e2d26278
      size: 517
    version: 0.1.0.0
  original:
    commit: aa491476e220e5372f06133516d2626b39ad9a79
    git: https://github.com/Verification-for-Security/hrubric.git
- completed:
    commit: 0b8fb106b0f6328e44efd6c6ad212d9b73bb65a4
    git: https://github.com/Verification-for-Security/emit-grade.git
    name: emit-grade
    pantry-tree:
      sha256: 4d37faf831de65566bf3dc333aa1b4375cde4b4c8453c20d903bcfd63a998902
      size: 566
    version: 0.1.0.0
  original:
    commit: 0b8fb106b0f6328e44efd6c6ad212d9b73bb65a4
    git: https://github.com/Verification-for-Security/emit-grade.git
snapshots:
- completed:
    sha256: e63b43d506918278d05cd1448bd19352ab2faa9b8e9d64ce527b56f1a7fba149
    size: 650255
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/20/25.yaml
  original: lts-20.25