NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-62slvyqf/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/li54y9zgq39ld3w3kml5fgb0kajk1hqm-aterm.drv /nix/store/smqxrd2l0jbzkygv786jz7krpd07pjbz-aterm