** Changed in: frama-c (Debian)
Status: New => Fix Released
--
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'.
To manage notifications about this bug go to:
https://bugs.launchpad.net/hundredpapercuts/+bug/613853/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
