Bug#999651: coq FTBFS on bytecode architectures

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#999651: coq FTBFS on bytecode architectures
From: Adrian Bunk <bunk@debian.org>
Date: Sun, 14 Nov 2021 11:48:45 +0200
Message-id: <[🔎] 163688332562.16137.13387612576856492502.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 999651@bugs.debian.org

Source: coq
Version: 8.14.0+dfsg-3
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/package.php?p=coq&suite=sid

...
Error: Don't know how to build
_build/default/user-contrib/Ltac2/ltac2_plugin.cmxs
Hint: did you mean _build/default/user-contrib/Ltac2/ltac2_plugin.cma?
make[3]: *** [Makefile.common:190: _build/default/user-contrib/Ltac2/ltac2_plugin.cmxs] Error 1

Reply to:

Follow-Ups:
- Processed: Bug#999651 marked as pending in coq
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#999651: marked as pending in coq
  - From: Julien Puydt <noreply@salsa.debian.org>
- Bug#999651: marked as done (coq FTBFS on bytecode architectures)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: failed armel build of coq 8.14.0+dfsg-3
Next by Date: Processed: Bug#999651 marked as pending in coq
Previous by thread: failed armel build of coq 8.14.0+dfsg-3
Next by thread: Processed: Bug#999651 marked as pending in coq
Index(es):
- Date
- Thread