I now understand: I have "addversionno = true" in my config file. This is useful when unison is built from the tar.gz (e.g. when the target machine is not a Debian one). But this is buggy on Debian. Since this option adds "2.13" only (not "2.13.16"), then the Debian package should probably provide a symbolic link:
/usr/bin/unison-2.13 -> unison-2.13.16 -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
