NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-byki2xbp/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/hghc8rd8zar55if365vdhpw6q5jwgx7w-aterm.drv /nix/store/2639l4br0667156pqribsg02k3azcy51-aterm