debian.txt desmembrado