NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-y5jgf8vw/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/zbq7691rix3qql5l75x90smx9q1jx8b3-sdf-support.drv /nix/store/nv38x2b6pw66gdzyjk4ljv1h0nv3340g-sdf-support