[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#610432: frama-c: Wrong category set in 'debian/control'



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/



Reply to: