Dear Andreas, you have marked bug #557495 as pending on July, 10. If that means that the bug "belongs" to libctapimkt0-dev then please also reassign the bug to that packages. Currently, the bug is still assigned to both packages involved in the file conflict.
Beste Grüsse -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
