(lang dune 3.22)
(name frama-c-ptests)
(sections (lib /usr/lib64/ocaml/frama-c-ptests) (bin /usr/bin))
(files (lib (META dune-package)) (bin (frama-c-ptests frama-c-wtests)))
