NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-sfg8lg9f/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/2mpag7g957pwd6gmhkqy84nawzwzs29l-sdf-support.drv /nix/store/hzcrr45ajz48k0q2lxrmm5c5fjimmc6f-sdf-support