-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathcabal.project
208 lines (178 loc) · 5 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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
index-state: 2021-08-14T00:00:00Z
packages:
order-validator
package cardano-crypto-praos
flags: -external-libsodium-vrf
package cryptonite
flags: -support_rdrand
write-ghc-environment-files: never
tests: true
benchmarks: true
source-repository-package
type: git
location: https://github.com/input-output-hk/plutus.git
subdir:
freer-extras
plutus-core
plutus-ledger
plutus-ledger-api
plutus-tx
plutus-tx-plugin
prettyprinter-configurable
quickcheck-dynamic
word-array
tag: 5e409452303b2bd9a5381b0f97f9a47edd69767d
write-ghc-environment-files: never
write-ghc-environment-files: never
tests: true
benchmarks: true
test-show-details: streaming
allow-newer:
size-based:template-haskell
, ouroboros-consensus-byron:formatting
, beam-core:aeson
, beam-sqlite:aeson
, beam-sqlite:dlist
, beam-migrate:aeson
constraints:
, dependent-sum > 0.6.2.0
extra-packages: ieee, filemanip
package cardano-ledger-alonzo
optimization: False
package ouroboros-consensus-shelley
optimization: False
package ouroboros-consensus-cardano
optimization: False
package cardano-api
optimization: False
source-repository-package
type: git
location: https://github.com/Quid2/flat.git
tag: ee59880f47ab835dbd73bea0847dab7869fc20d8
source-repository-package
type: git
location: https://github.com/input-output-hk/purescript-bridge.git
tag: 6a92d7853ea514be8b70bab5e72077bf5a510596
source-repository-package
type: git
location: https://github.com/input-output-hk/servant-purescript.git
tag: a0c7c7e37c95564061247461aef4be505a853538
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-crypto.git
tag: 07397f0e50da97eaa0575d93bee7ac4b2b2576ec
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-base
tag: 592aa61d657ad5935a33bace1243abce3728b643
subdir:
base-deriving-via
binary
binary/test
cardano-crypto-class
cardano-crypto-praos
cardano-crypto-tests
measures
orphans-deriving-via
slotting
strict-containers
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-prelude
tag: fd773f7a58412131512b9f694ab95653ac430852
subdir:
cardano-prelude
cardano-prelude-test
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-addresses
tag: d2f86caa085402a953920c6714a0de6a50b655ec
subdir:
core
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-wallet
tag: ae7569293e94241ef6829139ec02bd91abd069df
subdir:
lib/text-class
lib/strict-non-empty-containers
lib/core
lib/test-utils
lib/numeric
source-repository-package
type: git
location: https://github.com/input-output-hk/ouroboros-network
tag: 5d37a927046bc7da2887830d8e35cf604622ce09
subdir:
monoidal-synchronisation
typed-protocols
typed-protocols-examples
ouroboros-network
ouroboros-network-testing
ouroboros-network-framework
ouroboros-consensus
ouroboros-consensus-byron
ouroboros-consensus-cardano
ouroboros-consensus-shelley
io-sim
io-classes
network-mux
ntp-client
source-repository-package
type: git
location: https://github.com/input-output-hk/iohk-monitoring-framework
tag: 46f994e216a1f8b36fe4669b47b2a7011b0e153c
subdir:
iohk-monitoring
tracer-transformers
contra-tracer
plugins/backend-aggregation
plugins/backend-ekg
plugins/backend-monitoring
plugins/backend-trace-forwarder
plugins/scribe-systemd
source-repository-package
type: git
location: https://github.com/raduom/cardano-ledger-specs
tag: ef6bb99782d61316da55470620c7da994cc352b2
subdir:
byron/chain/executable-spec
byron/crypto
byron/crypto/test
byron/ledger/executable-spec
byron/ledger/impl
byron/ledger/impl/test
semantics/executable-spec
cardano-protocol-tpraos
semantics/small-steps-test
shelley/chain-and-ledger/dependencies/non-integer
shelley/chain-and-ledger/executable-spec
shelley/chain-and-ledger/shelley-spec-ledger-test
shelley-ma/impl
cardano-ledger-core
alonzo/impl
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-node.git
tag: ed7fdbf65f40f8e194850b87dd8c631fe26154e6
subdir:
cardano-api
cardano-node
cardano-cli
cardano-config
source-repository-package
type: git
location: https://github.com/input-output-hk/optparse-applicative
tag: 7497a29cb998721a9068d5725d49461f2bba0e7a
source-repository-package
type: git
location: https://github.com/input-output-hk/Win32-network
tag: 3825d3abf75f83f406c1f7161883c438dac7277d
source-repository-package
type: git
location: https://github.com/input-output-hk/hedgehog-extras
tag: edf6945007177a638fbeb8802397f3a6f4e47c14
source-repository-package
type: git
location: https://github.com/input-output-hk/goblins
tag: cde90a2b27f79187ca8310b6549331e59595e7ba