Otto, to confirm, what I've understood from this is to move /usr/bin/innochecksum and /usr/share/man/man1/innochecksum1 from mariadb-client-10.0 to mariadb-server-core-10.0. I'll push this to Debian VCS for MariaDB now.
Then I can add a Breaks/Replaces on mysql-server-core-5.6 against mariadb-client-10.0 (< before_above_change). Since the mariadb and mysql -server-core packages cannot be unpacked concurrently already, I think this should be all that is needed.
Otto, to confirm, what I've understood from this is to move /usr/bin/ innochecksum and /usr/share/ man/man1/ innochecksum1 from mariadb-client-10.0 to mariadb- server- core-10. 0. I'll push this to Debian VCS for MariaDB now.
Then I can add a Breaks/Replaces on mysql-server- core-5. 6 against mariadb-client-10.0 (< before_ above_change) . Since the mariadb and mysql -server-core packages cannot be unpacked concurrently already, I think this should be all that is needed.