NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17915-5mz0bidf/MANIFEST strategoxt-0.17pre17915 x86_64-linux /nix/store/wmnjqnpna4xh0bpq3qinfsg9njizbxmi-strategoxt.drv /nix/store/fg6v9k833q0b648h77mcfq41588nvivv-strategoxt