NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18238-1s99l40r/MANIFEST strategoxt-0.17pre18238 x86_64-linux /nix/store/nv0k4s7ch073a2kzx9n80j43p22lkhif-strategoxt.drv /nix/store/m50khapin10qd4a7lnnjcqlm121glvvx-strategoxt