Source: paramcoq Version: 1.1.3+coq8.16-1 Severity: serious https://ci.debian.net/data/autopkgtest/testing/amd64/p/paramcoq/25968228/log.gz
autopkgtest [22:17:33]: test upstreamtestsuite: [----------------------- /tmp/autopkgtest-lxc.7qclpa4k/downtmp/build.ZbD/src/debian/tests/upstreamtestsuite: 6: coqc: not found autopkgtest [22:17:33]: test upstreamtestsuite: -----------------------] autopkgtest [22:17:33]: test upstreamtestsuite: - - - - - - - - - - results - - - - - - - - - - upstreamtestsuite FAIL non-zero exit status 127 autopkgtest [22:17:33]: @@@@@@@@@@@@@@@@@@@@ summary upstreamtestsuite FAIL non-zero exit status 127 Cheers -- Sebastian Ramacher
