Merge #47971: solvespace: 2.3-20170808 -> 2.3-20180906

This commit is contained in:
Vladimír Čunát 2018-10-07 00:43:18 +02:00
commit 31cd8b3a44
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -3,12 +3,12 @@
, wrapGAppsHook , wrapGAppsHook
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "solvespace-2.3-20170808"; name = "solvespace-2.3-20180906";
rev = "16540b1b2c540a4b44500ac02aaa4493bccfba7e"; rev = "258545a334098cf25c1c9f4cd59b778dfe0b0d29";
src = fetchgit { src = fetchgit {
url = https://github.com/solvespace/solvespace; url = https://github.com/solvespace/solvespace;
inherit rev; inherit rev;
sha256 = "1z10i21xf3yagd984lp1hwasnsizx2s3faq3wdzzjngrikr2zn70"; sha256 = "1wimh6l0zpk0vywcsd2minijjf6g550z8i3l8lpmfnl5przymc2v";
fetchSubmodules = true; fetchSubmodules = true;
}; };