Der Fehler liegt bei davfs2. Das Paket ist noch gegen das alte heimdal Paket gebaut.
Abhilfe: ABS einrichten, davfs2 aus extra einfach nur neu mit makepkg bauen und installieren.
Bitte auch einen Bugreport schreiben.
locate libkrb5
...
/usr/lib/libkrb5.so
/usr/lib/libkrb5.so.25
[gerhard@tux1 ~]$ owns /usr/lib/libkrb5.so.25
/usr/lib/libkrb5.so.25 ist in heimdal 1.2-1 enthalten
ldd /sbin/mount.davfs
....
libheimntlm.so.0 => /usr/lib/libheimntlm.so.0 (0xb7e98000)
libkrb5.so.22 => not found
libhx509.so.1 => not found
libcom_err.so.2 => /lib/libcom_err.so.2 (0xb7e94000)
...