cabal.project

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

index-state:
  , hackage.haskell.org 2024-10-18T11:54:08Z
  , cardano-haskell-packages 2024-11-20T20:05:41Z

source-repository-package
  type: git
  location: https://github.com/zkFold/zkfold-base.git
  tag: 1986eab7c555026dc757cf596a560c7eb89034e5
  subdir: symbolic-base

packages: .

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

write-ghc-environment-files: never

tests: true
benchmarks: true

test-show-details: direct