I'm out of the office until 1st August.
On 30 Apr 2011, at 16:03, Launchpad Bug Tracker <613...@bugs.launchpad.net
> wrote:
> This bug was fixed in the package frama-c - 20110201+carbon+dfsg-2
>
> ---------------
> frama-c (20110201+carbon+dfsg-2) unstable; urgency=low
>
> * Add "-I +ocamlgraph" to DYN_{O,B}LINKFLAGS, needed for plugins to
> link.
> - add 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch
> - add libocamlgraph-ocaml-dev to frama-c-base's runtime
> dependencies.
>
> frama-c (20110201+carbon+dfsg-1) unstable; urgency=low
>
> * New upstream release:
> - Update copyright file.
> - Remove all patches, integrated by upstream.
> - Add patches:
> + 0001-Value-Analysis-Carbon-patchlevel-1.patch
> + 0002-Fix-for-issue-727.patch
> * Fix Categories field in frama-c.desktop (Closes: #610432) (LP:
> #613853).
> * No need to exclude custom bytecode binaries when running dh_strip.
> (thanks to patch applied in OCaml >= 3.12.0-5)
> -- Ubuntu Archive Auto-Sync <arch...@ubuntu.com> Sat, 30 Apr 2011
> 12:45:56 +0000
>
> ** Changed in: frama-c (Ubuntu)
> Status: Triaged => Fix Released
>
> --
> You received this bug notification because you are a member of
> Papercutters, which is subscribed to One Hundred Paper Cuts.
> https://bugs.launchpad.net/bugs/613853
>
> Title:
> Category: Frama-C is in category 'Science/Mathematics' instead of
> category 'Tools for developpers'.
>
> Status in One Hundred Paper Cuts:
> Triaged
> Status in “frama-c” package in Ubuntu:
> Fix Released
> Status in “frama-c” package in Debian:
> New
>
> 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.
--
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
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
