(lang dune 3.15)
(name frama-c-test-requests)
(package (name frama-c-test-requests))
