diff options
Diffstat (limited to 'pkgs/development/tools/parsing')
-rw-r--r-- | pkgs/development/tools/parsing/jikespg/default.nix | 12 | ||||
-rw-r--r-- | pkgs/development/tools/parsing/ragel/default.nix | 4 |
2 files changed, 9 insertions, 7 deletions
diff --git a/pkgs/development/tools/parsing/jikespg/default.nix b/pkgs/development/tools/parsing/jikespg/default.nix index 7cfb39ebdedc..6f0eb3735ffb 100644 --- a/pkgs/development/tools/parsing/jikespg/default.nix +++ b/pkgs/development/tools/parsing/jikespg/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl}: -stdenv.mkDerivation { +stdenv.mkDerivation rec { name = "jikespg-1.3"; src = fetchurl { - url = mirror://sourceforge/jikes/jikespg-1.3.tar.gz; - md5 = "eba183713d9ae61a887211be80eeb21f"; + url = "mirror://sourceforge/jikes/${name}.tar.gz"; + sha256 = "083ibfxaiw1abxmv1crccx1g6sixkbyhxn2hsrlf6fwii08s6rgw"; }; sourceRoot = "jikespg/src"; @@ -16,9 +16,11 @@ stdenv.mkDerivation { cp jikespg $out/bin ''; - meta = { + meta = with stdenv.lib; { homepage = http://jikes.sourceforge.net/; description = "The Jikes Parser Generator"; - platforms = stdenv.lib.platforms.linux; + platforms = platforms.linux; + license = licenses.ipl10; + maintainers = with maintainers; [ pSub ]; }; } diff --git a/pkgs/development/tools/parsing/ragel/default.nix b/pkgs/development/tools/parsing/ragel/default.nix index 753c91aa6880..e54d4c540fe2 100644 --- a/pkgs/development/tools/parsing/ragel/default.nix +++ b/pkgs/development/tools/parsing/ragel/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { name = "ragel-${version}"; - version = "7.0.0.6"; + version = "7.0.0.9"; src = fetchurl { url = "http://www.colm.net/files/ragel/${name}.tar.gz"; - sha256 = "1ns3kbcvhinn4rwm54ajg49d1la8filxskl3rgbwws0irzw507vs"; + sha256 = "1w2jhfg3fxl15gcmm7z3jbi6splgc83mmwcfbp08lfc8sg2wmrmr"; }; buildInputs = stdenv.lib.optional build-manual [ transfig ghostscript tex ]; |