wip

[pkg-cerco/frama-c-cost-plugin.git] / debian / control

diff --git a/debian/control b/debian/control
new file mode 100644 (file)
index 0000000..dacabe4
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,12 @@
+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