debian-hppa@lists.debian.org, Your support ticket has been created and successfully dispatched to the General Support department. Here is the information you will need to access your ticket: Ticket ID: 4082B94E Email: debian-hppa@lists.debian.org Link to view ticket: ticketview.php?cmd=view&id=4082B94E&email=debian-hppa@lists.debian.org