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

Processing commands for control@xxxxxxxxxxxxxxx:

> #coq (8.2.pl1+dfsg-3) UNRELEASED; urgency=low
> #
> #  * Update README.Debian (Closes: #538398)
> #
> package coq-theories coqide coq libcoq-ocaml-dev
Ignoring bugs not assigned to: coq-theories coqide coq libcoq-ocaml-dev

> tags 538398 + pending
Bug #538398 [coq] coq: The description in README.Debian about proofgeneral is 
old.
Added tag(s) pending.
>
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 debian-ocaml-maint-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx