Merge pull request #46988 from dtzWill/update/range-v3-0.3.7

range-v3: 0.3.6 -> 0.3.7
This commit is contained in:
Will Dietz 2018-09-21 17:00:15 -05:00 committed by GitHub
commit 7df10f388d
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.6"; version = "0.3.7";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ericniebler"; owner = "ericniebler";
repo = "range-v3"; repo = "range-v3";
rev = version; rev = version;
sha256 = "050h9pa57kd57l73njxpjb331snybddl29x2vpy5ycygvqiw8kcp"; sha256 = "1zhsz1i4jy97idydg7ay3wazp7v2353vckkli5w9g51jka43h5x2";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];