NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18341-mibwi42j/MANIFEST strategoxt-0.17pre18341 x86_64-linux /nix/store/nq3zl49fwxvn8g8vcnlky480h1jlgf0s-strategoxt.drv /nix/store/38qrzrgby4ilgfdi82z493bg50mbjka9-strategoxt