NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18216-fchlcq8l/MANIFEST strategoxt-0.17pre18216 x86_64-linux /nix/store/1imq0xjjsjcpmi8qdfx9y11h184bvv68-strategoxt.drv /nix/store/363zld9jj224d67bgz96yy7l22g592zc-strategoxt