NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17683-xcg4wc0j/MANIFEST strategoxt-0.17M3pre17683 x86_64-linux /nix/store/0q18q9di4q9q4zkcp6grgmycby9s13d3-strategoxt.drv /nix/store/d9alasypyvjh1grhfdii1r1riz6gi66w-strategoxt