]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/tree - debian/
fixing dependencies master
[pkg-cerco/frama-c-cost-plugin.git] / debian /
drwxr-xr-x   ..
-rw-r--r-- 157 changelog
-rw-r--r-- 2 compat
-rw-r--r-- 336 control
-rw-r--r-- 8 copyright
-rw-r--r-- 7 frama-c-cost-plugin.docs
-rw-r--r-- 26 frama-c-cost-plugin.install
drwxr-xr-x - patches
-rwxr-xr-x 521 rules
drwxr-xr-x - source