nixpkgs

62efab0d - wxwidgets_3_{1,2}: rename from wxGTK3{1,2}