NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17735-d26azhba/MANIFEST strategoxt-0.17pre17735 x86_64-linux /nix/store/24axplym7h325h83n0251a64lgp7g5m5-strategoxt.drv /nix/store/8hvx8wdqvd89rc17j2dysxpf7y38clha-strategoxt