Update debian.txt