NIXPKG1 http://releases.strategoxt.org/strategoxt-bootstrap/strategoxt-0.17pre18409-ra3qdnvk/MANIFEST strategoxt-0.17pre18409 x86_64-linux /nix/store/936dwzv4ghhwjn65w67vwdfwxjl1c1s5-strategoxt.drv /nix/store/kbip2vfhg6ql98g75yfkqsmybhwq2fsj-strategoxt