Processing commands for [EMAIL PROTECTED]: > # 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) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
