Bug#1011966: alt-ergo: autopkgtest regression: /usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory

[Paul Gevers <elbrus@debian.org>]

Source: alt-ergo
Version: 2.4.1-1
Severity: serious
User: debian-ci@lists.debian.org
Usertags: regression

Dear maintainer(s),

With a recent upload of alt-ergo the autopkgtest of alt-ergo fails in 
testing when that autopkgtest is run with the binary packages of 
alt-ergo from unstable. It passes when run with only packages from 
testing. In tabular form:

                       pass            fail
alt-ergo               from testing    2.4.1-1
all others             from testing    from testing

I copied some of the output at the bottom of this report.

Currently this regression is blocking the migration to testing [1]. Can 
you please investigate the situation and fix it?

More information about this bug and the reason for filing it can be found on
https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation

Paul

[1] https://qa.debian.org/excuses.php?package=alt-ergo

https://ci.debian.net/data/autopkgtest/testing/amd64/a/alt-ergo/22180660/log.gz

Fatal error: exception 
Sys_error("/usr/share/doc/alt-ergo/examples/valid/*.why: No such file or 
directory")
autopkgtest [23:11:40]: test valid

Attachment: OpenPGP_signature
Description: OpenPGP digital signature