NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-342671/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/90qq0m1kfcay72mc3awl24y7w6l298wa-strategoxt-0.17pre17928.drv /nix/store/47x7piyyh9hamy11zy7zcs57znzs1yzq-strategoxt-0.17pre17928