NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17690-0ryq08iv/MANIFEST strategoxt-0.17M3pre17690 x86_64-linux /nix/store/a37pm6cv1pfvm3ha9jw0rqyasl5czq2r-strategoxt.drv /nix/store/4lry0y4g133v06bprd2jacnbsymvf8dd-strategoxt