Merge pull request #66168 from r-ryantm/auto-update/symengine

symengine: 0.4.0 -> 0.4.1
This commit is contained in:
Marek Mahut 2019-08-06 20:46:45 +02:00 committed by GitHub
commit b7f73ea143
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -9,13 +9,13 @@
stdenv.mkDerivation rec {
name = "symengine-${version}";
version = "0.4.0";
version = "0.4.1";
src = fetchFromGitHub {
owner = "symengine";
repo = "symengine";
rev = "v${version}";
sha256 = "1kz893p3pmsw3gfwickk2nliw8p63yp89xriad7kpw4kmhvgr8gb";
sha256 = "0qqxr7l5lr81k6fs2h5isr43x0dw07rwg3ivl6vd8zmmcgsp9ygd";
};
nativeBuildInputs = [ cmake ];