Source: coq-hierarchy-builder Version: 1.2.0-1 Severity: serious Tags: ftbfs Justification: fails to build from source X-Debbugs-Cc: sramacher@debian.org | make[3]: Entering directory '/<<PKGBUILDDIR>>' | COQDEP VFILES | *** Warning: in file structures.v, library elpi is required from root elpi and has not been found in the loadpath! | COQC structures.v | File "./structures.v", line 15, characters 25-29: | Error: Unable to locate library elpi with prefix elpi. https://buildd.debian.org/status/fetch.php?pkg=coq-hierarchy-builder&arch=amd64&ver=1.2.0-1%2Bb1&stamp=1641041145&raw=0 Cheers -- Sebastian Ramacher
Attachment:
signature.asc
Description: PGP signature