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 <[email protected]> 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 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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
