NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18437-ngav9zh9/MANIFEST strategoxt-0.17pre18437 x86_64-linux /nix/store/f9cj7f51j71cv2k9w2g66sbcjc49iza0-strategoxt.drv /nix/store/i1bm8awq391yblv7l31df51pjblx2vjh-strategoxt