On 0, Josselin Mouette <[email protected]> wrote: > > frama-c: frama-c > > matita: matita [amd64 hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 powerpc > > sparc] > > I don’t know which level of fixing these two require. See #541959 and > #541963. >
matita has just been uploaded with a fix for #541959. And I patched frama-c to use gtksourceview2 and should hit the archive as soon as ocamlgraph will be binNMUed (#559115)... Cheers, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
