NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-27h4515h/MANIFEST aterm-2.5pre21238 i686-linux /nix/store/w0mzcw3p0zmg2bkcwb7w2rrzgzmbmd89-aterm.drv /nix/store/a8bwk7yjqmvhq96xkfqwzwlf48map9j5-aterm