debian-edu-install: no-debconf-config
debian-edu-install: debconf-is-not-a-registry
debian-edu-install: package-contains-empty-directory lib/debian-edu-install/
