diff --git a/pkgs/development/libraries/aterm/aterm-2.0.5.nix b/pkgs/development/libraries/aterm/aterm-2.0.5.nix new file mode 100644 index 000000000000..9ed878d37752 --- /dev/null +++ b/pkgs/development/libraries/aterm/aterm-2.0.5.nix @@ -0,0 +1,10 @@ +{stdenv, fetchurl}: derivation { + name = "aterm-2.0.5"; + system = stdenv.system; + builder = ./builder.sh; + src = fetchurl { + url = http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.0.5.tar.gz; + md5 = "68aefb0c10b2ab876b8d3c0b2d0cdb1b"; + }; + stdenv = stdenv; +} diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index b518cef670d5..4f07e585e57b 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -236,6 +236,11 @@ stdenv = stdenv; }; + aterm205 = (import ../development/libraries/aterm/aterm-2.0.5.nix) { + fetchurl = fetchurl; + stdenv = stdenv; + }; + sdf2 = (import ../development/tools/parsing/sdf2) { fetchurl = fetchurl; stdenv = stdenv;