NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-mbn80k2k/MANIFEST sdf-support-2.5pre26415 i686-linux /nix/store/8h3kjvqhir8cp0h0vg8rkl0bhddk8gyf-sdf-support.drv /nix/store/hry2p63v4mga7qvvl3nssr80vg3mj803-sdf-support