Proto for debian.xml