Source: coq-doc Version: 8.15.2-2 Severity: important Hi,
coq-doc FTBFS on some architectures (e.g. arm64, armhf, ppc64el) while it succeeds on others (e.g. amd64, i386). This is probably a problem in one of the (transitive) build dependencies, but I don't know how to pinpoint it. If you reassign this bug, please add an Affects: src:coq-doc. Running[3870]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b html sphinx refman-html) Running[3871]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b latex sphinx refman-pdf) Command [3870] exited with code 2: $ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b html sphinx refman-html) Extension error: /build/coq-doc-8.15.2/_build/default/doc/sphinx/proof-engine/ltac.rst:2509: Error while sending the following to coqtop: tac. coqtop output: Full error text: Timeout exceeded. <pexpect.pty_spawn.spawn object at 0x5508a9ca00> command: /build/coq-doc-8.15.2/_build/install/default/bin/coqtop args: [b'/build/coq-doc-8.15.2/_build/install/default/bin/coqtop', b'-q', b'-color', b'on'] buffer (last 100 chars): '' before (last 100 chars): '' after: <class 'pexpect.exceptions.TIMEOUT'> match: None match_index: None exitstatus: None flag_eof: False pid: 1213 child_fd: 5 closed: False timeout: 30 delimiter: <class 'pexpect.exceptions.EOF'> logfile: None logfile_read: None logfile_send: None maxread: 2000 ignorecase: False searchwindowsize: None delaybeforesend: 0 delayafterclose: 0.1 delayafterterminate: 0.1 searcher: searcher_re: 0: re.compile('\r\n[^< \r\n]+ < ') ANTLR runtime and generated code versions disagree: 4.9.1!=4.7.2 Duplicate cmd name: Extraction Duplicate exn name: Not equal Duplicate exn name: Not equal (due to universes) Command [3871] exited with code 2: $ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b latex sphinx refman-pdf) Extension error: /build/coq-doc-8.15.2/_build/default/doc/sphinx/proof-engine/ltac.rst:2509: Error while sending the following to coqtop: tac. coqtop output: Full error text: Timeout exceeded. <pexpect.pty_spawn.spawn object at 0x5509f2bbb0> command: /build/coq-doc-8.15.2/_build/install/default/bin/coqtop args: [b'/build/coq-doc-8.15.2/_build/install/default/bin/coqtop', b'-q', b'-color', b'on'] buffer (last 100 chars): '' before (last 100 chars): '' after: <class 'pexpect.exceptions.TIMEOUT'> match: None match_index: None exitstatus: None flag_eof: False pid: 4350 child_fd: 5 closed: False timeout: 30 delimiter: <class 'pexpect.exceptions.EOF'> logfile: None logfile_read: None logfile_send: None maxread: 2000 ignorecase: False searchwindowsize: None delaybeforesend: 0 delayafterclose: 0.1 delayafterterminate: 0.1 searcher: searcher_re: 0: re.compile('\r\n[^< \r\n]+ < ') ANTLR runtime and generated code versions disagree: 4.9.1!=4.7.2 Duplicate cmd name: Extraction Duplicate exn name: Not equal Duplicate exn name: Not equal (due to universes) make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1 make[1]: Leaving directory '/build/coq-doc-8.15.2' make: *** [debian/rules:4: binary] Error 2 Andreas
coq-doc_8.15.2-2.log.gz
Description: application/gzip