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
