NIXPKG1 http://releases.strategoxt.org/sdf-support-with-aterm64/sdf-support-2.5pre26415-2wpj4csk/MANIFEST sdf-support-2.5pre26415 x86_64-linux /nix/store/rb143d4ca0svhqda4w6q0vll0nkx7lb6-sdf-support.drv /nix/store/8jccx9d33c3yyim75jmcjxb41rbjfm59-sdf-support