krb5-user has unmet dependencies

[AD.]

Hi all,

I'm trying to install the krb5-user package in Warty, but I get the
following error:

The following packages have unmet dependencies:
  krb5-user: Depends: libkrb53 (= 1.3.4-3) but 1.3.4-3ubuntu0.1 is to
be installed
             Depends: libkadm55 (= 1.3.4-3) but 1.3.4-3ubuntu0.1 is to
be installed
E: Broken packages

To my untrained eye, it looks likely that both versions are likely
identical. Is there any way to override the dependency check?

Should I file a bug report?

-- 
Cheers
Anton