#1079430 coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5)

Package:
coqide
Source:
coqide
Description:
proof assistant for higher-order logic (gtk interface)
Submitter:
Simon McVittie
Date:
2026-01-10 11:05:25 UTC
Severity:
normal
Tags:
#1079430#5
Date:
2024-08-23 08:32:20 UTC
From:
To:
gtksourceview3 was superseded in 2018 by gtksourceview4 (a new major
upstream release, but still using GTK 3). There's a porting guide here,
which is mostly "stop using deprecated APIs" plus a few function renames:
https://gnome.pages.gitlab.gnome.org/gtksourceview/gtksourceview5/porting-guide-3-to-4.html

gtksourceview3 is unmaintained and hasn't had an upstream release for more
than 5 years, so it would be great if the remaining gtksourceview3
applications can move to gtksourceview4 before trixie.

In the case of coqide, switching to gtksourceview4 would presumably require
changes in lablgtk3 (#1079417).

Thanks,
    smcv
#1079430#16
Date:
2026-01-10 10:10:54 UTC
From:
To:
Es gibt eine Familienspende in Höhe von 1.850.000,00 USD von Cheng Charlie
Saephan. Bitte antworten Sie für weitere Informationen. Denken Sie daran,
Ihrer Familie und den Bedürftigen in Ihrer Umgebung Gutes zu tun.

Dies ist bereits der zweite Versuch, Sie zu erreichen. Bitte antworten Sie
für weitere Details.