[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#575371: FTBFS: missing dgraph.cmx, now provided by libocamlgraph-viewer-ocaml-dev



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



Reply to: