(lang dune 3.4)

(name xar)

(generate_opam_files true)

(source
 (github anon/ocamlxar))

(authors "anon")

(maintainers "anon <anon@gmail.com>")

(license MIT)

(package
 (name xar)
 (version 0.9)
 (synopsis "Formally verified sampling from discrete probability distributions")
 (description "")
 (depends (ocaml (>= 4.08)) dune (alcotest :with-test) (qcheck :with-test) (qcheck-alcotest :with-test))
 (tags
  (xar random sampler verified coq discrete)))

; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project
