NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17710-na9isjlh/MANIFEST strategoxt-0.17pre17710 x86_64-linux /nix/store/qgyp91yvgvzh4ir97la6llf1j5m9mhv1-strategoxt.drv /nix/store/c2r8bcm3mknbpi1sswv36yx06dhq6cm7-strategoxt