debian/control

   1 Source: frama-c-cost-plugin
   2 Section: devel
   3 Priority: optional
   4 Maintainer: CSC <sacerdot@cs.unibo.it>
   5 Build-Depends: debhelper (>= 9), ocaml-best-compilers, ocaml-findlib, frama-c-base
   6 Standards-Version: 3.9.3
   7
   8 Package: frama-c-cost-plugin
   9 Architecture: any
  10 Depends: ${shlibs:Depends}, ${misc:Depends}
  11 Description: fill me
  12  fill me