Merge pull request #28710 from dtzWill/update/pies-1.3

pies: 1.2 -> 1.3
This commit is contained in:
Jörg Thalheim 2017-08-29 23:17:08 +01:00 committed by GitHub
commit 0b5333f9b1

@ -1,13 +1,17 @@
{ fetchurl, stdenv }:
stdenv.mkDerivation rec {
name = "pies-1.2";
name = "pies-1.3";
src = fetchurl {
url = "mirror://gnu/pies/${name}.tar.bz2";
sha256 = "18w0dbg77i56cx1bwa789w0qi3l4xkkbascxcv2b6gbm0zmjg1g6";
sha256 = "12r7rjjyibjdj08dvwbp0iflfpzl4s0zhn6cr6zj3hwf9gbzgl1g";
};
configureFlags = ["--sysconfdir=/etc"];
hardeningDisable = [ "format" ];
doCheck = true;
meta = {