NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18253-h5qi0w0l/MANIFEST strategoxt-0.17pre18253 x86_64-linux /nix/store/890g71i77dwd1plpxxfl07lqda00h0pw-strategoxt.drv /nix/store/im360g34d5jwfmpjbq18y8q1jlsn7n58-strategoxt