NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-4yr2fr56/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/v5sg7y2gxa4rzxp9yjdfvgrkzx9xxvas-sdf-support.drv /nix/store/1z75vsja96i1vscby8h7r0rz3xspgr1h-sdf-support