NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-ygksdd4m/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/8zk9lmpcd56ka0a3ib3hxq1yl0qgab3z-aterm.drv /nix/store/wxc8k3p58mkjm8a1jq9440xfksz5yafj-aterm