Never mind - I've managed to get around it by manually editing my dpkg status database and the cached repository info to change the libxml2juuiiii to libxml and it's installed.