NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339783/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/5n4sdfl86isbk93bxl8k40x1yvipjif3-aterm-2.5pre21238.drv /nix/store/g43wv1q6m7bnm7iwbyh3m8icd3vlfxnm-aterm-2.5pre21238