opam-version: "2.0"
depends: ["dune"]
dev-repo: "zarith"
url {
  src: "https://zarith.src"
}