NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17805-ridi3l52/MANIFEST strategoxt-0.17pre17805 x86_64-linux /nix/store/mj5ww064qrdd3d9mjmkrcgpj5k1vv3pi-strategoxt.drv /nix/store/9jy2kh1hc5d4awpzchyz0yg5fha4q9k6-strategoxt