kuber/cabal.project at master · dQuadrant/kuber · 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
-- See CONTRIBUTING for information about these, including some Nix commands
-- you need to run if you change them
index-state:
  , hackage.haskell.org 2026-03-26T20:21:33Z
  , cardano-haskell-packages 2026-05-02T16:21:41Z

active-repositories:
  , :rest
  , cardano-haskell-packages:override

constraints:
  -- haskell.nix patch does not work for 1.6.8
  , any.crypton-x509-system < 1.6.8
  -- haskell.nix tries to use 0.7.1.5 for some reason
  , any.proto-lens >= 0.7.1.6
  -- Match the package set selected by cardano-node 11.0.1 from CHaP.
  , any.cardano-api == 11.0.0.0
  , any.cardano-ledger-binary == 1.8.1.0
  , any.cardano-ledger-core == 1.20.0.0
  , any.cuddle == 1.1.1.0
  , any.ouroboros-consensus == 3.0.1.0
  , any.QuickCheck == 2.15.0.1

-- Custom repository for cardano haskell packages, see CONTRIBUTING for more
repository cardano-haskell-packages
  url: https://chap.intersectmbo.org/
  secure: True
  root-keys:
    3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
    443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
    a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
    bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
    c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
    d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee

packages:
  .
  ./kuber-server
  ./kontract-example
  ./kuber-hydra
--  ./kuber-test-lib

-- You never, ever, want this.
write-ghc-environment-files: never

package acts
  flags: -finitary

package cardano-crypto-praos
  flags: -external-libsodium-vrf

-- Always build tests and benchmarks.
tests: True
benchmarks: False

package cryptonite
  -- Using RDRAND instead of /dev/urandom as an entropy source for key
  -- generation is dubious. Set the flag so we use /dev/urandom by default.
  flags: -support_rdrand

package bitvec
  flags: -simd

allow-newer:
  , katip:Win32

-- Work around cabal solver issues present in newer dependency sets.
allow-newer:
  , io-sim:time
  , io-classes:time