# 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 tags 436684 + pending -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
