NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-c4pndq2j/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/24pgyxcp5h6v8mpbd953qrkpfg2mx72s-aterm.drv /nix/store/lhhgzaygiikdrdy95qh36q014dcb1kjx-aterm