dejagnu 1.5.1 -> 1.5.3

This commit is contained in:
Tobias Geerinckx-Rice 2015-04-18 21:22:06 +02:00
parent 1645795c53
commit 74d66a3df1

@ -1,11 +1,11 @@
{ fetchurl, stdenv, expect, makeWrapper }:
stdenv.mkDerivation rec {
name = "dejagnu-1.5.1";
name = "dejagnu-1.5.3";
src = fetchurl {
url = "mirror://gnu/dejagnu/${name}.tar.gz";
sha256 = "1lik8h4qi7x0mhsi8xmj91an1yb63rjbk6v4xrmzgiy5lk8lgrv0";
sha256 = "069z3qrdv35cm2sbnfr5yjzplrqj9f61cchxis7j9mm19hv8x6q9";
};
patches = [ ./wrapped-runtest-program-name.patch ];