NIXPKG1 http://releases.strategoxt.org/strategoxt-bootstrap/strategoxt-0.17pre18409-nri316lm/MANIFEST strategoxt-0.17pre18409 x86_64-linux /nix/store/cmj3gyqwamqw000zyi0l0d878xxq1ggz-strategoxt.drv /nix/store/m6y146sm8faxbik9b722a5kiwyqzj73k-strategoxt