This is to announce I have renamed crtools to criu at git.criu.org. The old name still works for web links and command line tools, since there is a symlink to a new one (which will be removed at some point in the future). Let me know if you have any issues or questions. Regards, Kir.