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

[Stephane Glondu]

# 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




-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]