buildd log scanner -- issues in package coqeal -- Debian Quality Assurance

Issues found in current buildd logs for coqeal:

I no-compiler-commands (amd64, arm64, ppc64el, riscv64, s390x)

Found 1 issues.

Scanned logs (date is the date the log was generated, not the date it was scanned):

amd64 2.0.3-1+b2 2025-01-15 07:50
arm64 2.0.3-1+b2 2025-01-15 09:37
ppc64el 2.0.3-1+b2 2025-01-15 09:02
riscv64 2.0.3-1+b2 2025-01-16 00:38
s390x 2.0.3-1+b2 2025-01-15 19:49