Source: coq-hierarchy-builder Version: 1.4.0-5 Severity: serious Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=coq-hierarchy-builder&arch=ppc64&ver=1.4.0-5%2Bb4&stamp=1690315855&raw=0 ... make -f Makefile.coq make[3]: Entering directory '/<<PKGBUILDDIR>>' COQDEP VFILES COQC structures.v File "./structures.v", line 341, characters 0-15: Error: File "/<<PKGBUILDDIR>>/HB/howto.elpi", line 102, column 0, character 3984:Cannot spill: unknown arity of gref-deps make[4]: *** [Makefile.coq:844: structures.vo] Error 1
