--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2018 ---
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