Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#74056 - [coq] FTBFS
Attached to Project:
Community Packages
Opened by avimitin (avimitin) - Tuesday, 08 March 2022, 03:30 GMT
Last edited by Konstantin Gizdov (kgizdov) - Tuesday, 08 March 2022, 19:00 GMT
Opened by avimitin (avimitin) - Tuesday, 08 March 2022, 03:30 GMT
Last edited by Konstantin Gizdov (kgizdov) - Tuesday, 08 March 2022, 19:00 GMT
|
DetailsDescription:
Error occurs when running archbuild: File "interp/dune", line 6, characters 12-18: 6 | (libraries zarith pretyping)) ^^^^^^ Error: Library "zarith" not found. -> required by library "coq-core.interp" in _build/default/interp -> required by executable coqc_bin in topbin/dune:24 -> required by _build/default/topbin/coqc_bin.exe -> required by _build/install/default/bin/coqc make[1]: *** [Makefile.common:131: _build/install/default/bin/coqc] Error 1 |
This task depends upon
Closed by Konstantin Gizdov (kgizdov)
Tuesday, 08 March 2022, 19:00 GMT
Reason for closing: Fixed
Additional comments about closing: coq 8.15.0-2
Tuesday, 08 March 2022, 19:00 GMT
Reason for closing: Fixed
Additional comments about closing: coq 8.15.0-2