Merge pull request #71879 from rardiol/widelands

widelands: 19 -> 20
This commit is contained in:
Aaron Andersen 2019-10-25 03:58:36 -04:00 committed by GitHub
commit 6bdf8c09a9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,7 +5,7 @@
stdenv.mkDerivation rec {
pname = "widelands";
version = "19";
version = "20";
meta = with stdenv.lib; {
description = "RTS with multiple-goods economy";
@ -26,8 +26,8 @@ stdenv.mkDerivation rec {
];
src = fetchurl {
url = "https://launchpad.net/widelands/build${version}/build${version}/+download/widelands-build${version}-src-gcc7.tar.bz2";
sha256 = "0n2lb1c2dix32j90nir96zfqivn63izr1pmabjnhns3wbb7vhwzg";
url = "https://launchpad.net/widelands/build${version}/build${version}/+download/widelands-build${version}.tar.bz2";
sha256 = "1cmwfwk7j6yi2pwmm4rm57s23sdzasqf53nx6567sdagqyc4sn9q";
};
preConfigure = ''