Bug#1042022: coq-hierarchy-builder FTBFS with elpi 1.17.0
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
Reply to: