NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343160/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/mncwlv69gh37rykb9cgrbvry23j11qgw-strategoxt-0.17pre17928.drv /nix/store/47x7piyyh9hamy11zy7zcs57znzs1yzq-strategoxt-0.17pre17928