NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18414-q03zqv4q/MANIFEST strategoxt-0.17pre18414 x86_64-linux /nix/store/84nhkmha9asvsz4anpdghjzpja7i9v97-strategoxt.drv /nix/store/npcyjng7jbsr7yv0cl4pa8rpd0391ak5-strategoxt