NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343610/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/10nc4wazhh27w6wd4csvlq8a86d6dz5q-aterm-2.5pre21238.drv /nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238