NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18411-1xd79q3y/MANIFEST strategoxt-0.17pre18411 x86_64-linux /nix/store/0vahxj5zf0mnq1z6j7zamnbck1l4bqcf-strategoxt.drv /nix/store/3sjsq80ab67lsflnfnv2n11zkqzz9rkr-strategoxt