NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/aterm/aterm-2.5pre21238-26ra85lr/MANIFEST aterm-2.5pre21238 x86_64-linux /nix/store/qr9rlsspfrsbf8bkk9p8njxpmygh09d6-aterm.drv /nix/store/mfd72v5786xw62ahyb2isy15zsvgdvhy-aterm