NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17814-5r2hydj1/MANIFEST strategoxt-0.17pre17814 x86_64-linux /nix/store/5qm8c9az2niwrvv38dz617mx3ghy8j0r-strategoxt.drv /nix/store/y9nshhxnb28gjvnrr81b70w6gh7cb6ad-strategoxt