Processed: Re: Bug#559130: FTBFS: inconsistent assumptions over interface Gtk

Processing commands for cont...@bugs.debian.org: > notfound 559130 20090901+beryllium+dfsg-2 Bug #559130 [frama-c] FTBFS: inconsistent assumptions over interface Gtk Bug No longer marked as found in versions frama-c/20090901+beryllium+dfsg-2. > thanks Stopping processing here. Please contact me i

Bug#559130: FTBFS: inconsistent assumptions over interface Gtk

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 s