NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-291vprcl/MANIFEST aterm-2.5pre21238 i686-linux /nix/store/dpm8sckbwd6js9p22n45cnwb8kx54kdk-aterm.drv /nix/store/4y0qk04s74afmrpch9cq1d7cz9k4amma-aterm