NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17873-k68dlpm5/MANIFEST strategoxt-0.17pre17873 x86_64-linux /nix/store/h7626jcakiwg3vyk7qlzg3m9zi0038hz-strategoxt.drv /nix/store/x3yjfnjmsizxnzz5dx9qv8ka0h5qqa04-strategoxt