Merge pull request #44712 from r-ryantm/auto-update/polygraph

polygraph: 4.11.0 -> 4.12.0
This commit is contained in:
Samuel Dionne-Riel 2018-08-16 18:28:09 -04:00 committed by GitHub
commit 1ac2becd97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,11 +1,11 @@
{ stdenv, fetchurl, openssl, zlib, ncurses }:
stdenv.mkDerivation rec {
name = "polygraph-4.11.0";
name = "polygraph-4.12.0";
src = fetchurl {
url = "http://www.web-polygraph.org/downloads/srcs/${name}-src.tgz";
sha256 = "1ii60yl3p89qawvl19sd1bkpkw39fz8kpvmc3cawa32nxzbm9pbs";
sha256 = "1anrdc30yi9pb67642flmn7w82q37cnc45r9bh15mpbc66yk3kzz";
};
buildInputs = [ openssl zlib ncurses ];