NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-211jirvq/MANIFEST sdf-support-2.5pre26415 i686-linux /nix/store/hjvyzypdjc729y3rf5hary99zqr3l5vd-sdf-support.drv /nix/store/5jfvv80d53sns7rhbl8xg8wifz15526x-sdf-support