; Generic dependencies for all Server cram tests
(cram
  (deps
    (package frama-c-server)
  )
)
