NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18410-fyli58vw/MANIFEST strategoxt-0.17pre18410 x86_64-linux /nix/store/xw00y7px5fbyiq8gj582ymyxwv4fzjhk-strategoxt.drv /nix/store/0r6r8ns19rvi8kg0aqz7f1dywfvc0ngb-strategoxt