]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/commitdiff
fixing dependencies master
authorEnrico Tassi <gares@fettunta.org>
Wed, 3 Apr 2013 10:46:17 +0000 (12:46 +0200)
committerEnrico Tassi <gares@fettunta.org>
Wed, 3 Apr 2013 10:46:17 +0000 (12:46 +0200)
debian/control

index dacabe40b95d4c8168bfdd5fe412641e34678586..12df5801b3cf0e3864661597f1989afe520cbf53 100644 (file)
@@ -7,6 +7,6 @@ Standards-Version: 3.9.3
 
 Package: frama-c-cost-plugin
 Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}, acc
 Description: fill me
  fill me