NIXPKG1 http://releases.strategoxt.org/strategoxt-base-packages/strategoxt-base-packages-251495pre251495-1ql24fpn/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/z7fnih50lkqmwzd35fnfnv7psgkmbkcf-aterm-2.5pre21238.drv /nix/store/sh297d9w778jslgvhkcm5zn9hkvn8dcn-aterm-2.5pre21238