{mkKdeDerivation}: mkKdeDerivation { pname = "kmines"; meta.mainProgram = "kmines"; }