NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre19107-c7kfx937/MANIFEST strategoxt-0.17pre19107 x86_64-linux /nix/store/qrhnhzsq8nlr49721s9ymqasj8rni5a1-strategoxt.drv /nix/store/4590s2rkn9nmqlih6cr6vg81jgfbaznk-strategoxt