NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre19101-2jci2wsj/MANIFEST strategoxt-0.17pre19101 x86_64-linux /nix/store/rlgg9h9rsxjyib6d3hx52hjq4nav270i-strategoxt.drv /nix/store/mrw5r761b7in7pqmqbcp1zw1ip156bcm-strategoxt