nixpkgs/pkgs/desktops/gnome-2/platform/gtkglext
2018-04-15 17:21:23 +02:00
..
default.nix gnome2.gtkglext: patch deprecated symbols 2018-04-15 17:21:23 +02:00