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

[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+dfsg-2) experimental; urgency=low
> #
> #  * [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
> #    architectures (Closes: #495165)
> #
> package coq-libs coqide coq
Ignoring bugs not assigned to: coq-libs coqide coq

> tags 495165 + pending
Bug#495165: coq_8.2~beta4+dfsg-1(hppa/experimental): FTBFS: ocamlopt: command not found
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)