(lang dune 3.15)
(using dune_site 0.1)
(name frama-c-quoted-parameters)
(package (name frama-c-quoted-parameters))

