NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343101/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/2ca8j1fydnngwiciraxmai765skvcyyq-strategoxt-0.17pre17928.drv /nix/store/47x7piyyh9hamy11zy7zcs57znzs1yzq-strategoxt-0.17pre17928