NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-c2vkd1ad/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/kp4ikmlm0szlax1b6zqfdg0ldw1nnxj5-sdf-support.drv /nix/store/cj8w2q5pd2ybwkslvajf944d9ymywrl1-sdf-support