NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18754-gz0mqs79/MANIFEST strategoxt-0.17pre18754 x86_64-linux /nix/store/ybaj7mrmwaxwlh1s3nhzsavmj7i6zmc4-strategoxt.drv /nix/store/d45azb71kh9sd6d65l8d77f3dg5m4kk0-strategoxt