@fermulator: It looks like it's likely to be
https://en.wikipedia.org/wiki/GDK
$ sudo find /usr/ -iname 'libgdk-3.so*' -exec dpkg -S '{}' \;
libgtk-3-dev:amd64: /usr/lib/x86_64-linux-gnu/libgdk-3.so
libgtk-3-0:amd64: /usr/lib/x86_64-linux-gnu/libgdk-3.so.0
libgtk-3-0:amd64: /usr/lib/x86_64-linux-gnu/libgdk-3.so.0.2200.25
So library filename is "libgdk-3.so.*" while package which owns it is
"libgtk-3-0*"
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1580605
Title:
gnome-shell crashes often
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1580605/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
