NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18063-3mxzf4qb/MANIFEST strategoxt-0.17pre18063 x86_64-linux /nix/store/9civ1gd05rlkqb6am5yqfmrr2gr8iqg5-strategoxt.drv /nix/store/pdvixf0h567j3k4xk77fmd7ifakygcf3-strategoxt