forked from mgudemann/sat-solver
-
Notifications
You must be signed in to change notification settings - Fork 0
/
stack.yaml.lock
33 lines (32 loc) · 1.32 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
# 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: picosat-0.1.6@sha256:7d3130af636c6c8a0b373446a090daa15511d6cb0b264f4b921fa5d4a81b59a3,2138
pantry-tree:
size: 541
sha256: 4cb3a66ee7b3ca57b680ebe41815a5965b0860d191cdf08787bb78d0e2fb650b
original:
hackage: picosat-0.1.6@sha256:7d3130af636c6c8a0b373446a090daa15511d6cb0b264f4b921fa5d4a81b59a3,2138
- completed:
hackage: timeit-2.0@sha256:0757796734c8bcc8cad97bac90d6db60e40f148b5d62699baf12fb8ec8939b34,1197
pantry-tree:
size: 259
sha256: 048f9c6dd792ea20dc178f67581bdba042d689e5dda3129614937c9f3c971a85
original:
hackage: timeit-2.0
- completed:
hackage: optparse-applicative-0.16.1.0@sha256:d410cc76e288b93d4ee7e06addc0381a7eaea43bcee0c3ced03f05cadec2f2fc,4836
pantry-tree:
size: 2979
sha256: bfff15197c553035578163cd3da352bcddcf0f11f57ae40ead22ef6dd120c40c
original:
hackage: optparse-applicative-0.16.1.0
snapshots:
- completed:
size: 587126
url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/18/8.yaml
sha256: 93a107557e8691ed5ca17beaee41e68222b142c48868fc8c04a4181fb233477d
original: lts-18.8