NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18346-gmap4sgb/MANIFEST strategoxt-0.17pre18346 x86_64-linux /nix/store/4mnimc370aaljxds6965z9l7z2vfvy9i-strategoxt.drv /nix/store/8p1my4y32wdam7c0csy4g4b7aj5azh2f-strategoxt