NIXPKG1 http://releases.strategoxt.org/strategoxt-base-packages/strategoxt-base-packages-251525pre251525-k6a04v57/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/f6vinsfxnas9m78aqz5q3m4izmvhw57x-aterm-2.5pre21238.drv /nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238