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

ginac: 1.7.7 -> 1.7.8
This commit is contained in:
Mario Rodas 2019-10-21 20:21:31 -05:00 committed by GitHub
commit e8e1f42499
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.7";
name = "ginac-1.7.8";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
sha256 = "1jsf74cym5v6nq70aij3l7axq8vf7rrc1lnb9siyb9lsfbnnxzqf";
sha256 = "0rvhdagmrs8ynnylwnxnmmfz1j9zk1g2rr7w6xczsbn7lqd511hc";
};
propagatedBuildInputs = [ cln ];