summoning-pixel-dungeon: init at 1.2.5

diff --git a/build.gradle b/build.gradle

--- a/build.gradle

+++ b/build.gradle

@@ -11,7 +11,6 @@ buildscript {

         //FIXME the version of R8 coming with gradle plugin 4.0.0 causes serious problems

         //noinspection GradleDependency

         classpath 'com.android.tools.build:gradle:3.6.4'

-        classpath "com.palantir.gradle.gitversion:gradle-git-version:0.12.3"

     }

 }

@@ -19,16 +18,13 @@ buildscript {

 allprojects {

-    apply plugin: "com.palantir.git-version"

-

-    def details = versionDetails()

     ext {

         appName = 'Summoning Pixel Dungeon'

         appPackageName = 'com.trashboxbobylev.summoningpixeldungeon'

         appVersionCode = 430

-        appVersionName = '@version@-' + details.gitHash.substring(0, 7)

+        appVersionName = '@version@'

         appAndroidCompileSDK = 33

         appAndroidMinSDK = 15

{ callPackage

, fetchFromGitHub

, gradle_6

, substitute

}:

callPackage ./generic.nix rec {

  pname = "summoning-pixel-dungeon";

  version = "1.2.5";

  src = fetchFromGitHub {

    owner = "TrashboxBobylev";

    repo = "Summoning-Pixel-Dungeon";

    # The GH release is named "$version-$hash", but it's actually a mutable "_latest" tag

    rev = "fc63a89a0f9bdf9cb86a750dfec65bc56d9fddcb";

    hash = "sha256-n1YR7jYJ8TQFe654aERgmOHRgaPZ82eXxu0K12/5MGw=";

  };

  patches = [(substitute {

    src = ./disable-git-version.patch;

    replacements = [ "--subst-var-by" "version" version ];

  })];

  depsHash = "sha256-0P/BcjNnbDN25DguRcCyzPuUG7bouxEx1ySodIbSwvg=";

  desktopName = "Summoning Pixel Dungeon";

  meta = {

    homepage = "https://github.com/TrashboxBobylev/Summoning-Pixel-Dungeon";

    downloadPage = "https://github.com/TrashboxBobylev/Summoning-Pixel-Dungeon/releases";

    description = "A fork of the Shattered Pixel Dungeon roguelike with added summoning mechanics";

  };

  # Probably due to https://github.com/gradle/gradle/issues/17236

  gradle = gradle_6;

}

  rkpd2 = callPackage ../games/shattered-pixel-dungeon/rkpd2.nix { };

  rat-king-adventure = callPackage ../games/shattered-pixel-dungeon/rat-king-adventure.nix { };

  experienced-pixel-dungeon = callPackage ../games/shattered-pixel-dungeon/experienced-pixel-dungeon.nix { };

  summoning-pixel-dungeon = callPackage ../games/shattered-pixel-dungeon/summoning-pixel-dungeon.nix { };

  shticker-book-unwritten = callPackage ../games/shticker-book-unwritten { };