NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17662-8n12r4cw/MANIFEST strategoxt-0.17M3pre17662 x86_64-linux /nix/store/6ls4ccq0285ncjjm7568cjn15pq6pdi9-strategoxt.drv /nix/store/bbmlbx8q5f7x6krc4zn9ijj7vza7x4nf-strategoxt