NIXPKG1 http://releases.strategoxt.org/strategoxt-base-packages/strategoxt-base-packages-251525pre251525-k6a04v57/MANIFEST aterm-2.5pre21238 i686-darwin /nix/store/ilp614rf3bcn4nrc6l9wvyq9ryvc4s6h-aterm-2.5pre21238.drv /nix/store/wn1bq7f0ph1nxwzmr2pqm30a9yin4qjj-aterm-2.5pre21238