No Debian você tem uma escolha entre servidores DHCP serverais. Eu usei udhcpd e isc-dhcp-server antes. Você provavelmente está usando isc-dhcp-server . Registra suas concessões em /var/lib/dhcpd.leases .
Novas concessões são anexadas a este arquivo, portanto, olhe para o final para concessões recentes. Arrendamentos antigos não são limpos até que o arquivo atinja algum limite (não sei o que está fora do topo da minha cabeça).