Package: frama-c Version: 20090901+beryllium+dfsg-2 Severity: serious Justification: FTBFS
Your package FTBFS on all architectures with: | ocamlc -c -w Ael -warn-error A -annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/project -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I lib/plugins -I lib -I +ocamlgraph -I src/syntactic_callgraph -I +lablgtk2 -I src/gui -I +lablgtk2 -I +ocamlgraph src/syntactic_callgraph/cg_viewer.ml | File "src/syntactic_callgraph/cg_viewer.ml", line 1, characters 0-1: | Error: The files /usr/lib/ocaml/lablgtk2/gBin.cmi | and /usr/lib/ocaml/ocamlgraph/dGraphView.cmi | make inconsistent assumptions over interface Gtk | make[2]: *** [src/syntactic_callgraph/cg_viewer.cmo] Error 2 Build logs at the usual place: https://buildd.debian.org/status/package.php?suite=unstable&p=frama-c Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
