NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre19201-dkl5w3q5/MANIFEST strategoxt-0.17pre19201 x86_64-linux /nix/store/bjywz7n1hs2x0bdkx7jhj8kbkf48ck86-strategoxt.drv /nix/store/4cdg2rgy7hannvmbdbsakami6339y3gs-strategoxt