NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18583-i573smdl/MANIFEST strategoxt-0.17pre18583 x86_64-linux /nix/store/b0d523j62vjq1pgk81xca37xx55dx18z-strategoxt.drv /nix/store/mv5cd7ll734qjx78f2p38123ihdmd4hv-strategoxt