A snap CoqIDE installation on Debian 11.4 gives the following error messages:
Unable to init server: Could not connect: Connection refused
Fatal error: exception Gtk.Error("GtkMain.init: initialization failed\nml_gtk_init: initialization failed")
It has these dependencies, witnessed by the apt Debian package:
https://packages.debian.org/stable/coqide
dep: coq (= 8.12.0-3+b3)
proof assistant for higher-order logic (toplevel and compiler)
dep: libc6 (>= 2.29) [not armel, mips64el, mipsel]
GNU C könyvtár: megosztott könyvtárak
also a virtual package provided by libc6-udeb
dep: libcairo2 (>= 1.12.0) [not armel, mips64el, mipsel]
Cairo 2D vector graphics library
dep: libfontconfig1 (>= 2.12.6) [not armel, mips64el, mipsel]
generic font configuration library - runtime
dep: libfreetype6 (>= 2.2.1) [not armel, mips64el, mipsel]
FreeType 2 font engine, shared library files
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [not armel, mips64el, mipsel]
GDK Pixbuf library
or libgdk-pixbuf2.0-0 (>= 2.22.0)
GDK Pixbuf library (transitional package)
dep: libglib2.0-0 (>= 2.35.9) [not armel, mips64el, mipsel]
GLib library of C routines
dep: libgtk-3-0 (>= 3.1.4) [not armel, mips64el, mipsel]
GTK graphical user interface library
dep: libgtksourceview-3.0-1 (>= 2.91.4) [not armel, mips64el, mipsel]
shared libraries for the GTK+ syntax highlighting widget
dep: libpango-1.0-0 (>= 1.14.0) [not armel, mips64el, mipsel]
Layout and rendering of internationalized text
If you are a developer using GTK, you might answer my question: which library emitted the two error messages?