Hello Klaus,
I want to know if you included some pinning info (in
/etc/apt/preferences file) because we already know one bug with this
and the result is a segfault like yours.
TIA,
Otavio
--
O T A V I O S A L V A D O R
---------------------------------------------
E-mail: otavio@debian.org UIN: 5906116
GNU/Linux User: 239058 GPG ID: 49A5F855
Home Page: http://www.freedom.ind.br/otavio
---------------------------------------------