Package: frama-c Version: 20090902+beryllium+dfsg-4 Severity: grave Justification: renders package unusable
Hello, libocamlgraph-ocaml-dev doesn't provide dgraph.cmx any more, so that frama-c currently FTBFS on sid systems. libocaml-graph-viewer-ocaml-dev should be depended on instead. Samuel -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.33 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
