(lang dune 2.6)
(using coq 0.2)
(name coq-itree-ai)

(package
  (name coq-itree-ai)
  (synopsis "Abstract Interpretation with ITrees")
  (depends
    (coq-itree (>= 4.0.0)))
)