NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-ikgww19b/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/issqach5lffik293296s53yh10wpl76k-aterm.drv /nix/store/4bqh2xsksrq9vrrxq5aj3srnvi9yd0qb-aterm