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