1 Source: frama-c-cost-plugin
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
8 Package: frama-c-cost-plugin
10 Depends: ${shlibs:Depends}, ${misc:Depends}, acc