[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: tagging 400535



Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.9.26
> tags 400535 + experimental
Bug#400535: coq_8.1~gamma-2(hppa/experimental): FTBFS: ocamlopt: command not found
There were no tags set.
Tags added: experimental

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)



Reply to: