NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339787/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/9xfr15f4jk9afrxxnai4n1kl0sin7xfq-aterm-2.5pre21238.drv /nix/store/x7ypy1x34ygsa5hjhfk3hh38j0bdmxv5-aterm-2.5pre21238