Robuta

https://lists.debian.org/debian-ocaml-maint/2017/01/msg00025.html Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full... https://lists.debian.org/debian-ocaml-maint/2017/01/msg00024.html Bug#850943: dose-builddebcheck: please add an option to check non-full builds https://lists.debian.org/debian-ocaml-maint/2017/01/msg00054.html Bug#850943: marked as done (dose-builddebcheck: please add an option to check non-full builds)