[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1002930: coq-hierarchy-builder: Error: Unable to locate library elpi with prefix elpi.



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


Reply to: