Processed: setting package to coq-theories coqide coq libcoq-ocaml-dev, tagging 535320

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> #coq (8.2-1+dfsg-2) unstable; urgency=low
> #
> #  * Recompile with OCaml 3.11.1 (Closes: #535320)
> #
> package coq-theories coqide coq libcoq-ocaml-dev
Ignoring bugs not assigned to: coq-theories coqide coq libcoq-ocaml-dev

> tags 535320 + pending
Bug#535320: coq: Coq not available with ocaml 3.11.1
There were no tags set.
Tags added: pending

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)