content: # Copyright Kani Contributors
  # SPDX-License-Identifier: Apache-2.0 OR MIT
  
  # This section is considered when running `cargo deny check advisories`
  # More documentation for the advisories section can be found here:
  # https://embarkstudios.github.io/cargo-deny/checks/advisories/cfg.html
  [advisories]
  db-path = "~/.cargo/advisory-db"
  db-urls = ["https://github.com/rustsec/advisory-db"]
  yanked = "deny"
  
  # This section is considered when running `cargo deny check licenses`
  # More documentation for the licenses section can be found here:
  # https://embarkstudios.github.io/cargo-deny/checks/licenses/cfg.html
  [licenses]
  allow = [
      "MIT",
      "Apache-2.0",
      "Unicode-3.0",
  ]
  confidence-threshold = 0.8
  
  # All these exceptions should probably appear in: tools/build-kani/license-notes.txt
  exceptions = [
      { name = "foldhash", allow=["Zlib"] },
  ]
  
  [licenses.private]
  ignore = false
  
  # This section is considered when running `cargo deny check bans`.
  # More documentation about the 'bans' section can be found here:
  # https://embarkstudios.github.io/cargo-deny/checks/bans/cfg.html
  [bans]
  multiple-versions = "warn"
  wildcards = "allow"
  
  # This section is considered when running `cargo deny check sources`.
  # More documentation about the 'sources' section can be found here:
  # https://embarkstudios.github.io/cargo-deny/checks/sources/cfg.html
  [sources]
  unknown-registry = "deny"
  unknown-git = "deny"
  allow-registry = ["https://github.com/rust-lang/crates.io-index"]
  