--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c GUI being removed from Debian due to using an old version of GtkSourceView



Hi

https://tracker.debian.org/pkg/frama-c
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907946
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159

It seems porting to GtkSourceView 3.x or 4.x is required to remain in
Debian. Is this something that has been brought up? I'm a quite recent
user of frama-c, so I don't know all the ins and outs of this yet. It
seems knowledge of OCaml is required

/Tomas