NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-xjzswgl4/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/qpdcnigsj3vg6dcc7d5bhw2x5m902jjy-sdf-support.drv /nix/store/cl1k2bk2mfha9l75f6rf23pd98jfkvrv-sdf-support