Bug#495165: setting package to coq-libs coqide coq, tagging 495165

[Stephane Glondu <steph@glondu.net>]

# Automatically generated email from bts, devscripts version 2.10.35
# via tagpending 
#
# coq (8.2~beta4+dfsg-2) experimental; urgency=low
#
#  * [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
#    architectures (Closes: #495165)
#

package coq-libs coqide coq
tags 495165 + pending