NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343610/MANIFEST strategoxt-0.17pre18269 x86_64-linux /nix/store/v0ckyask237gwz50gag3d1dc3np2p9zm-strategoxt-0.17pre18269.drv /nix/store/sps2k89mrigsd0wj6sl2wkkwqdhipqxq-strategoxt-0.17pre18269