NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-291vprcl/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/5n5wjcpgj76yqa8r00a70wmdfkp5fwap-aterm.drv /nix/store/jm9wlqb9g780wkg8mivmwyymsrbz1w37-aterm