debian/addons-list
