Check in Debian nethack_3.4.3-15.debian.tar.xz