(lang dune 3.16)
(using dune_site 0.1)

(name frama-c-concurrency)

(package (name frama-c-deadlock))
(package (name frama-c-racer))
