Bug#1019571: paramcoq: autopkgtest failure

[Sebastian Ramacher <sramacher@debian.org>]

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