Updating nix's aterm from aterm242fixes to aterm25 (proposed by niksnut).
svn path=/nixpkgs/branches/stdenv-updates/; revision=18879
Lluís Batlle i Rossell 16 years ago 99f8d729 89fe676b