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

ginac: 1.7.6 -> 1.7.7
This commit is contained in:
Marek Mahut 2019-09-27 22:04:49 +02:00 committed by GitHub
commit 5c116916d6
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.6";
name = "ginac-1.7.7";
src = fetchurl {
url = "${meta.homepage}/${name}.tar.bz2";
sha256 = "03cq93qjfgxgr7zxadrjfbn43lk5f0x2lmd90ggx10p6jq47157v";
sha256 = "1jsf74cym5v6nq70aij3l7axq8vf7rrc1lnb9siyb9lsfbnnxzqf";
};
propagatedBuildInputs = [ cln ];