Merge pull request #42188 from dtzWill/update/range-v3-0.3.6

range-v3: 0.3.5 -> 0.3.6
This commit is contained in:
Will Dietz 2018-06-18 19:57:20 -05:00 committed by GitHub
commit 14ca8dd8ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "range-v3-${version}"; name = "range-v3-${version}";
version = "0.3.5"; version = "0.3.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ericniebler"; owner = "ericniebler";
repo = "range-v3"; repo = "range-v3";
rev = version; rev = version;
sha256 = "00bwm7n3wyf49xpr7zjhm08dzwx3lwibgafi6isvfls3dhk1m4kp"; sha256 = "050h9pa57kd57l73njxpjb331snybddl29x2vpy5ycygvqiw8kcp";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];