(lang dune 3.13)
(using dune_site 0.1)

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