Merge pull request #36537 from ryantm/auto-update/ginac

ginac: 1.7.2 -> 1.7.4
This commit is contained in:
Graham Christensen 2018-03-09 17:20:53 -05:00 committed by GitHub
commit d2429e0045
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.2";
name = "ginac-1.7.4";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
sha256 = "1dyq47gc97jn1r5sy0klxs5b4lzhckyjqgsvwcs2a9ybqmhmpdr4";
sha256 = "1vvqv73yk9klbq0mz239zzw77rlp72qcvzci4j1v6rafvji1616n";
};
propagatedBuildInputs = [ cln ];