Source: frama-c-cost-plugin
Section: devel
Priority: optional
Maintainer: CSC <sacerdot@cs.unibo.it>
Build-Depends: debhelper (>= 9), ocaml-best-compilers, ocaml-findlib, frama-c-base
Standards-Version: 3.9.3

Package: frama-c-cost-plugin
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: fill me
 fill me