The package tpm-tools 1.3.8-2 has been removed from kali-dev. -- More information about tpm-tools: http://pkg.kali.org/pkg/tpm-tools