NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18419-1h36fsl0/MANIFEST strategoxt-0.17pre18419 x86_64-linux /nix/store/f6v8hp32bn7wlk9yzbdm8cdnvn31pkzi-strategoxt.drv /nix/store/jq58j0ydkgg0s50zc6a26nqfr9mgj1nn-strategoxt