NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-7s3wlmrj/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/a9wva8akbdyj0sygz2s9g7fxy8qsqidr-sdf-support.drv /nix/store/xm586mghy1f8xd7bzf198x51hgzqd4i1-sdf-support