I didn't made a report, I would have needed to register just for that. I just sent a mail to [email protected] (Who seems to be one of the maintainers) saying to come check this bug.
2010/9/12 Vish <[email protected]> > @Thibault Févry , Do you have the link to the upstream bug report? > > ** Also affects: frama-c (Ubuntu) > Importance: Undecided > Status: New > > ** Changed in: frama-c (Ubuntu) > Importance: Undecided => Low > > ** Changed in: frama-c (Ubuntu) > Status: New => Confirmed > > ** Changed in: hundredpapercuts > Importance: Undecided => Low > > -- > Category: Frama-C is in category 'Science/Mathematics' instead of category > 'Tools for developpers'. > https://bugs.launchpad.net/bugs/613853 > You received this bug notification because you are a direct subscriber > of the bug. > > Status in One Hundred Paper Cuts: Confirmed > Status in “frama-c” package in Ubuntu: Confirmed > > Bug description: > 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. > > To unsubscribe from this bug, go to: > https://bugs.launchpad.net/hundredpapercuts/+bug/613853/+subscribe > -- Category: Frama-C is in category 'Science/Mathematics' instead of category 'Tools for developpers'. https://bugs.launchpad.net/bugs/613853 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
