diff options
Diffstat (limited to 'pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix')
-rw-r--r-- | pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix new file mode 100644 index 000000000000..fdce971e8de6 --- /dev/null +++ b/pkgs/development/tools/parsing/sglr/sglr-3.10.2.nix @@ -0,0 +1,13 @@ +{stdenv, fetchurl, aterm, toolbuslib, ptsupport}: derivation { + name = "sglr-3.10.2"; + system = stdenv.system; + builder = ./builder.sh; + src = fetchurl { + url = http://www.cwi.nl/projects/MetaEnv/sglr/sglr-3.10.2.tar.gz; + md5 = "39aa609be84115d7ddc56a6c74b792b7"; + }; + stdenv = stdenv; + aterm = aterm; + ptsupport = ptsupport; + toolbuslib = toolbuslib; +} |