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

polygraph: 4.12.0 -> 4.13.0
This commit is contained in:
Joachim F 2019-01-04 11:05:46 +00:00 committed by GitHub
commit 48b1b3e55f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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