NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-27h4515h/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/wmcdx9xg632mfi2pij465njc6vw9hn8q-aterm.drv /nix/store/ixblzlfkn8zn39qy8kpjda83mcjjx19j-aterm