Merge pull request #58097 from r-ryantm/auto-update/ginac

ginac: 1.7.4 -> 1.7.5
This commit is contained in:
markuskowa 2019-03-29 20:27:39 +01:00 committed by GitHub
commit 7701fd7603
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,11 +1,11 @@
{ stdenv, fetchurl, cln, pkgconfig, readline, gmp, python }:
stdenv.mkDerivation rec {
name = "ginac-1.7.4";
name = "ginac-1.7.5";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
sha256 = "1vvqv73yk9klbq0mz239zzw77rlp72qcvzci4j1v6rafvji1616n";
sha256 = "11v8dpdfq8ybbbadyakp19xc7jgckplbbj6q2hh1c2hj5ps6njz7";
};
propagatedBuildInputs = [ cln ];