On 01/18/2011 02:55 PM, Chris Wilson wrote: > > Originally reported at > https://bugs.launchpad.net/hundredpapercuts/+bug/613853 >
I've added its address to CC:. > 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. > Well, that's not set in "debian/control", afaics. "debian/control" says "Section: devel", which is correct (unless I'm being blind). But then, there is a .desktop file for Frama-C which has some categories listed, and I did put "Science" as a sub-category there once. I can probably apply the following change to the .desktop file: -Categories=Development;Science;IDE;GTK; +Categories=Development;ComputerScience;IDE;GTK; +OnlyShowIn=Development ... which makes sense and seems more correct, imo. Is that enough for your the issue you're reporting? Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/613853 Title: Category: Frama-C is in category 'Science/Mathematics' instead of category 'Tools for developpers'. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs