Merge pull request #43333 from r-ryantm/auto-update/libpoly

libpoly: 0.1.4 -> 0.1.5
This commit is contained in:
Frederik Rietdijk 2018-07-11 19:01:02 +02:00 committed by GitHub
commit 04cae0e5fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
{stdenv, fetchurl, gmp, cmake, python}:
let version = "0.1.4";
let version = "0.1.5";
in
stdenv.mkDerivation {
@ -8,7 +8,7 @@ stdenv.mkDerivation {
src = fetchurl {
url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz";
sha256 = "16x1pk2a3pcb5a0dzyw28ccjwkhmbsck4hy80ss7kx0dd7qgpi7j";
sha256 = "0yj3gd60lx8dcgw7hgld8wqvjkpixx3ww3v33sdf7p6lln7ksxyn";
};
buildInputs = [ cmake gmp python ];