Sven, when you file a bug report against ftp.debian.org for removal of lablgtk could you please at the same time ask for removal of mlglade (which depends on liblablgtk-ocaml) ? I leave sending the bug report to you since you are the official maintainer of lablgtk (and uploader of mlglade). -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen