dune

(coq.theory
 (name lithium.benchmarks)
 (package refinedrust)
 (flags :standard -w -notation-overridden -w -redundant-canonical-projection)
 (synopsis "Lithium benchmarks")
 (theories lithium))