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

Reply via email to