Merge pull request #48685 from dtzWill/update/range-v3

range-v3: 0.3.7 -> 0.4.0
This commit is contained in:
Will Dietz 2018-10-18 21:59:10 -05:00 committed by GitHub
commit 889a654a88
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.7"; version = "0.4.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ericniebler"; owner = "ericniebler";
repo = "range-v3"; repo = "range-v3";
rev = version; rev = version;
sha256 = "1zhsz1i4jy97idydg7ay3wazp7v2353vckkli5w9g51jka43h5x2"; sha256 = "1s5gj799aa94nfg3r24whq7ck69g0zypf70w14wx64pgwg0424vf";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];