nixpkgs/pkgs/applications/editors/kile
2017-06-18 08:42:20 -05:00
..
default.nix kdeApplications: rename kdeApp to mkDerivation 2017-06-18 08:42:20 -05:00