widelands: 1.2.1 -> 1.3 (#473917)

This commit is contained in:
7c6f434c
2025-12-24 23:11:28 +00:00
committed by GitHub
+2 -10
View File
@@ -30,23 +30,15 @@
stdenv.mkDerivation rec {
pname = "widelands";
version = "1.2.1";
version = "1.3";
src = fetchFromGitHub {
owner = "widelands";
repo = "widelands";
rev = "v${version}";
sha256 = "sha256-/MEeb0KnefK812w5y238Icd4gW85d/pvZ08xnlVXDdk=";
sha256 = "sha256-943/pkxiIbhnZQMwMNpeu5KKkS+j58zU6r9i6mZGSMg=";
};
patches = [
(fetchpatch {
name = "modern-asio.patch";
url = "https://codeberg.org/wl/widelands/pulls/5025.patch";
sha256 = "sha256-ip9ZG9u/z7G+yG7xrEvi+DH9vsjRzYWhEe0rEjxHzzY=";
})
];
postPatch = ''
substituteInPlace xdg/org.widelands.Widelands.desktop \
--replace 'Exec=widelands' "Exec=$out/bin/widelands"