jikespg: convert md5 to sha256 and adopt it

This commit is contained in:
Pascal Wittmann 2016-11-20 16:25:26 +01:00
parent 1416ed7b08
commit 36657f586f
No known key found for this signature in database
GPG Key ID: C899ACE7E2322852

View File

@ -1,11 +1,11 @@
{stdenv, fetchurl}: {stdenv, fetchurl}:
stdenv.mkDerivation { stdenv.mkDerivation rec {
name = "jikespg-1.3"; name = "jikespg-1.3";
src = fetchurl { src = fetchurl {
url = mirror://sourceforge/jikes/jikespg-1.3.tar.gz; url = "mirror://sourceforge/jikes/${name}.tar.gz";
md5 = "eba183713d9ae61a887211be80eeb21f"; sha256 = "083ibfxaiw1abxmv1crccx1g6sixkbyhxn2hsrlf6fwii08s6rgw";
}; };
sourceRoot = "jikespg/src"; sourceRoot = "jikespg/src";
@ -16,9 +16,11 @@ stdenv.mkDerivation {
cp jikespg $out/bin cp jikespg $out/bin
''; '';
meta = { meta = with stdenv.lib; {
homepage = http://jikes.sourceforge.net/; homepage = http://jikes.sourceforge.net/;
description = "The Jikes Parser Generator"; description = "The Jikes Parser Generator";
platforms = stdenv.lib.platforms.linux; platforms = platforms.linux;
license = licenses.ipl10;
maintainers = with maintainers; [ pSub ];
}; };
} }