(lang dune 3.3)
(using dune_site 0.1)

(name frama-c-hello)
(package (name frama-c-hello))