Processed: setting package to coq-libs coqide coq, tagging 436684

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

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.35
> # via tagpending
> #
> # coq (8.2~beta4.svn20080907+dfsg-1) UNRELEASED; urgency=low
> #
> #  * [d8e4082] Use debhelper 7, simplify debian/rules (Closes: #436684)
> package coq-libs coqide coq
Ignoring bugs not assigned to: coq-libs coqide coq

> tags 436684 + pending
Bug#436684: coq: not handling nostrip build option (policy 10.1) sid/i386
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)