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