Merge pull request #62183 from dtzWill/update/earlyoom-1.3

earlyoom: 1.2 -> 1.3
This commit is contained in:
Maximilian Bosch 2019-05-29 13:28:11 +02:00 committed by GitHub
commit 999b31a6dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,13 +3,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "earlyoom-${VERSION}"; name = "earlyoom-${VERSION}";
# This environment variable is read by make to set the build version. # This environment variable is read by make to set the build version.
VERSION = "1.2"; VERSION = "1.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "rfjakob"; owner = "rfjakob";
repo = "earlyoom"; repo = "earlyoom";
rev = "v${VERSION}"; rev = "v${VERSION}";
sha256 = "0bpqlbsjcmcizgw75j1zyw1sp2cgwhaar9y70sibw1km011yqbzd"; sha256 = "0fwbx0y80nqgkxrc9kf9j3iwa0wbps2jmqir3pgqbc2cj0wjh0lr";
}; };
installPhase = '' installPhase = ''