NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-211jirvq/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/n7qk2xrrbw32wgzax95aypi9kxaf4k7w-sdf-support.drv /nix/store/d7mb6ralkbcjpsxfd9b8l3r47wr036xr-sdf-support