Samuel Thibault wrote: > 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. >
Yes. That's planned. "libocaml-graph-viewer-ocaml-dev" is only 2 days old. I thought I have more time to update Frama-c :) Note that Why and alt-ergo have been already updated. Cheers, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
