dejagnu: 1.5.3 -> 1.6

This commit is contained in:
Rahul Gopinath 2016-07-03 18:39:04 -07:00
parent 0da28e9cfa
commit 179275cd70

View File

@ -1,11 +1,11 @@
{ fetchurl, stdenv, expect, makeWrapper }: { fetchurl, stdenv, expect, makeWrapper }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "dejagnu-1.5.3"; name = "dejagnu-1.6";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/dejagnu/${name}.tar.gz"; url = "mirror://gnu/dejagnu/${name}.tar.gz";
sha256 = "069z3qrdv35cm2sbnfr5yjzplrqj9f61cchxis7j9mm19hv8x6q9"; sha256 = "0qypaakd2065jgpcv84zcsibl8gph3p334gb2qdmhsrbirhlmdh0";
}; };
patches = [ ./wrapped-runtest-program-name.patch ]; patches = [ ./wrapped-runtest-program-name.patch ];
@ -50,6 +50,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl2Plus; license = licenses.gpl2Plus;
platforms = platforms.linux; platforms = platforms.linux;
maintainers = with maintainers; [ wkennington ]; maintainers = with maintainers; [ wkennington vrthra ];
}; };
} }