Bug#1038450: coq-unimath FTBFS on 32bit

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1038450: coq-unimath FTBFS on 32bit
From: Adrian Bunk <bunk@debian.org>
Date: Sun, 18 Jun 2023 17:47:10 +0300
Message-id: <[🔎] 168709963073.27079.8210860239307545475.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 1038450@bugs.debian.org

Source: coq-unimath
Version: 20230420-2
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/logs.php?pkg=coq-unimath&ver=20230420-2

...
COQC UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.v
File "./UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.v", line 333, characters 2-10:
Error: Anomaly "Uncaught exception Invalid_argument("String.create")."
Please report at http://coq.inria.fr/bugs/.

make[4]: *** [build/CoqMakefile.make:844: UniMath/CategoryTheory/Monoidal/AlternativeDefinitions/EquivalenceWhiskeredNonCurriedMonoidalCategories.vo] Error 129

Reply to:

Follow-Ups:
- Bug#1038450: marked as done (coq-unimath FTBFS on 32bit)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#1038450: patch probably available
  - From: Adrien Nader <adrien@notk.org>

Prev by Date: coq-unimath_20230420-2_source.changes ACCEPTED into unstable
Next by Date: Bug#1011323: lablgtk2: Please remove the obsolete gtkgl/glarea component
Previous by thread: coq-unimath_20230420-2_source.changes ACCEPTED into unstable
Next by thread: Bug#1038450: marked as done (coq-unimath FTBFS on 32bit)
Index(es):
- Date
- Thread