NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342284/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/43vcirzdfr9vxzgdm5g9wyzzpcg1i1s3-aterm-2.5pre21238.drv /nix/store/am6gffvl8a1jvcvpl6q8waki6ydwgaq8-aterm-2.5pre21238