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

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

Processing commands for control@bugs.debian.org:

> #coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
> #
> #  * Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
> #    (Closes: #517107)
> #
> package coq-theories coqide coq libcoq-ocaml-dev
Ignoring bugs not assigned to: coq-theories coqide coq libcoq-ocaml-dev

> tags 517107 + pending
Bug#517107: aptitude installed coq with unmet dependencies
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)