safe-coupling/stack.yaml.lock at main · oquechy/safe-coupling · 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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
# 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: hashable-1.3.0.0@sha256:d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b,5389
    pantry-tree:
      size: 1521
      sha256: e7d5dbcea435993e180947216759031527ee3c2ddba276f1942f815d629e1e3a
  original:
    hackage: hashable-1.3.0.0
- completed:
    hackage: rest-rewrite-0.3.0@sha256:398f937a5faf6bd3329650ee9aed31bbfe7ed1c23252710908ad7295e3252c94,3890
    pantry-tree:
      size: 3943
      sha256: 6e42cf85257cbc2abf50a9c8f3bac8777920f1b970e6f2cae9358690e1186e99
  original:
    hackage: rest-rewrite-0.3.0
- completed:
    subdir: .
    name: liquidhaskell
    version: 0.8.10.7.1
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    pantry-tree:
      size: 319610
      sha256: 6aafae3deb5a2e75de391529a459b12e5e6ec002d1d47a8f39451ff6cbd131c9
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
  original:
    subdir: .
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
- completed:
    subdir: liquid-base
    name: liquid-base
    version: 4.14.3.0
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    pantry-tree:
      size: 15057
      sha256: ec6292884597585ab0a007b242bf5c711466a9b91fd5f3b2fbcac3602594f140
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
  original:
    subdir: liquid-base
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
- completed:
    subdir: liquid-containers
    name: liquid-containers
    version: 0.6.2.1
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    pantry-tree:
      size: 2143
      sha256: 64ab781aea3b709196876c58ec418a1e8ef93418c71ba7f373658641beabdc7b
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
  original:
    subdir: liquid-containers
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
- completed:
    subdir: liquid-ghc-prim
    name: liquid-ghc-prim
    version: 0.6.1
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    pantry-tree:
      size: 912
      sha256: a1b1fbc8fda0d355f390bfe8ec3036e935b9d4c244217cce6e24363472cd66bd
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
  original:
    subdir: liquid-ghc-prim
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
- completed:
    subdir: liquid-prelude
    name: liquid-prelude
    version: 0.8.10.2
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    pantry-tree:
      size: 1029
      sha256: c7f41d6fe87cb7d02944834ff59c5d3c7f29b1bd0c83dec5095fed21362c2546
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
  original:
    subdir: liquid-prelude
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 4dbafc42400c67b8cd3a7316dbf2c618980c6f44
- completed:
    name: liquid-fixpoint
    version: 0.8.10.7.1
    git: https://github.com/ucsd-progsys/liquid-fixpoint.git
    pantry-tree:
      size: 22564
      sha256: bf753996190c5db2d791b4b22aae65b0e6569075b44f11979d0ccbe676780bff
    commit: b590314a3e7cdabb10d7ad95007963930dfaa6d8
  original:
    git: https://github.com/ucsd-progsys/liquid-fixpoint.git
    commit: b590314a3e7cdabb10d7ad95007963930dfaa6d8
snapshots:
- completed:
    size: 590102
    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/27.yaml
    sha256: 79a786674930a89301b0e908fad2822a48882f3d01486117693c377b8edffdbe
  original: lts-18.27