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

ginac: 1.7.8 -> 1.7.9
This commit is contained in:
Benjamin Hipple 2020-04-12 11:18:43 -04:00 committed by GitHub
commit 17a1bf5dbd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, cln, pkgconfig, readline, gmp, python }:
stdenv.mkDerivation rec {
name = "ginac-1.7.8";
name = "ginac-1.7.9";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
sha256 = "0rvhdagmrs8ynnylwnxnmmfz1j9zk1g2rr7w6xczsbn7lqd511hc";
sha256 = "08cqc87qq4w6z3l053x5gfqsa4zkgkicq8skxsbsj39nli1zzkb7";
};
propagatedBuildInputs = [ cln ];