-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathcabal.project
97 lines (82 loc) · 2.58 KB
/
cabal.project
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
index-state: 2021-02-15T00:00:00Z
packages:
aurum/impl
aurum/test
cole/chain/executable-spec
cole/ledger/executable-spec
cole/ledger/impl
cole/ledger/impl/test
cole/crypto
cole/crypto/test
bcc-ledger-core
bcc-ledger-test
bcc-protocol-toptimum
zerepoch-preprocessor
semantics/executable-spec
semantics/small-steps-test
sophie/chain-and-ledger/dependencies/non-integer
sophie/chain-and-ledger/executable-spec
sophie/chain-and-ledger/sophie-spec-ledger-test
sophie-ma/impl
sophie-ma/sophie-ma-test
example-sophie/
-- Always write GHC env files, because they are needed by the doctests.
write-ghc-environment-files: always
source-repository-package
type: git
location: https://github.com/The-Blockchain-Company/bcc-base
tag: f6b3923ac0fb162098050f67dcbc31f6d721b22d
subdir:
base-deriving-via
binary
binary/test
bcc-crypto-class
bcc-crypto-optimum
measures
slotting
strict-containers
source-repository-package
type: git
location: https://github.com/The-Blockchain-Company/bcc-crypto
tag: ce2f7994556490b169914f8d818fb9ef6149211f
source-repository-package
type: git
location: https://github.com/The-Blockchain-Company/bcc-prelude
tag: c1f053a9dbc2763ad2163281a356a2cf0f4d7858
subdir:
bcc-prelude
bcc-prelude-test
source-repository-package
type: git
location: https://github.com/The-Blockchain-Company/shepards
tag: 768e0f4462c3a92959c1b8508e45f6b081184122
source-repository-package
type: git
location: https://github.com/The-Blockchain-Company/zerepoch
tag: 057de48b3dd5502f22bfb16be47df32e94af9dd8
subdir:
zerepoch-ledger-api
zerepoch-tx
zerepoch-tx-plugin
zerepoch-core
prettyprinter-configurable
word-array
-- https://github.com/Quid2/flat/pull/22 fixes a potential exception
-- when decoding invalid (e.g. malicious) text literals.
source-repository-package
type: git
-- location: https://github.com/Quid2/flat.git
location: https://github.com/michaelpj/flat.git
tag: ee59880f47ab835dbd73bea0847dab7869fc20d8
--sha256: 1lrzknw765pz2j97nvv9ip3l1mcpf2zr4n56hwlz0rk7wq7ls4cm
allow-newer:
monoidal-containers:aeson,
size-based:template-haskell,
-- TODO: This is only needed until index-state is updated to 2021-02-17 or later.
test-framework:random,
test-framework-quickcheck2:random
constraints:
-- bizarre issue: in earlier versions they define their own 'GEq', in newer
-- ones they reuse the one from 'some', but there isn't e.g. a proper version
-- constraint from dependent-sum-template (which is the library we actually use).
, dependent-sum > 0.6.2.0