NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-b2xdgcr9/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/r168z2ny0cnhkpp4dd4vrv31pazn3cj2-sdf-support.drv /nix/store/5kvz79pl3jl271k70alap3gqhys44zsk-sdf-support