Installing: ipmenu_0.0.3-3.dsc to pool/main/i/ipmenu/ipmenu_0.0.3-3.dsc ipmenu_0.0.3-3_all.deb to pool/main/i/ipmenu/ipmenu_0.0.3-3_all.deb ipmenu_0.0.3-3.diff.gz to pool/main/i/ipmenu/ipmenu_0.0.3-3.diff.gz Announcing to debian-devel-changes@lists.debian.org Closing bugs: Thank you for your contribution to Debian.