NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-mbn80k2k/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/k5bgfqr63i1q3yly18h8k9nnbpckmkf7-sdf-support.drv /nix/store/5pxwqhjs0x0cnc9kx9bfv17zll75m2q7-sdf-support