Package: frama-c Version: 20100401+boron+dfsg-4 (frama-c) Severity: minor Originally reported at https://bugs.launchpad.net/hundredpapercuts/+bug/613853
Actually the package Frama-C is listed in 'Science/Mathematics' category, but it's a tool to help analyse C source Code. It should go instead in category: Tools for Developers. -- System Information: Debian Release: squeeze/sid APT prefers maverick-updates APT policy: (500, 'maverick-updates'), (500, 'maverick-security'), (500, 'maverick-proposed'), (500, 'maverick') Architecture: i386 (i686) Kernel: Linux 2.6.35-22-generic (SMP w/1 CPU core) Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
