NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18757-7l99zbrc/MANIFEST strategoxt-0.17pre18757 x86_64-linux /nix/store/cdh8zps6wa4d1b75fayjx38lq9kaa0vf-strategoxt.drv /nix/store/gflp961bv7j0c7anb85q8k6zkc3cmy9w-strategoxt