NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17733-iqyzqr41/MANIFEST strategoxt-0.17pre17733 x86_64-linux /nix/store/102fpk4lq5kl852db5ndg4hz69kfpgiq-strategoxt.drv /nix/store/iiwbg7s8zxg2fcgjwam08wx1zajpi9nr-strategoxt