NIXPKG1 http://releases.strategoxt.org/strategoxt-0.17/sdf2-bundle/sdf2-bundle-2.4pre212034-87556dd5/MANIFEST sdf2-bundle-2.4pre212034 x86_64-linux /nix/store/mm2fkb4wad25nlrmj1g2qd4l44w7wwbz-sdf2-bundle.drv /nix/store/cjmrg6vvdd9dhgmmbqz2f0avsphlc1ix-sdf2-bundle