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