On 0, Josselin Mouette <j...@debian.org> 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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
