Processing commands for [EMAIL PROTECTED]: > # Automatically generated email from bts, devscripts version 2.10.13 > close 466326 Bug#466326: coq: Depends: ocaml-base-nox-3.10.0 but it is not installable 'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing. Bug closed, send any further explanations to Mike Jolley <[EMAIL PROTECTED]>
> End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
