dune-project

(lang dune 2.8)

(using dune_site 0.1)
(package (name frama-c) (sites (share share) (lib plugins) (lib plugins_gui)))