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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
