FS#75831 - [coq] missing dependency ocaml-findlib
Attached to Project:
Community Packages
Opened by Andres (andreser) - Tuesday, 06 September 2022, 20:34 GMT
Last edited by Konstantin Gizdov (kgizdov) - Wednesday, 07 September 2022, 09:24 GMT
Opened by Andres (andreser) - Tuesday, 06 September 2022, 20:34 GMT
Last edited by Konstantin Gizdov (kgizdov) - Wednesday, 07 September 2022, 09:24 GMT
|
Details
Version 8.16.0-1 seems to depend on ocaml-findlib which was
not installed when I upgraded from 8.15.0.
Steps to reproduce: 1. install the package. 2. Run: $ coqc Error: Anomaly "Uncaught exception Failure("Config file not found - neither /etc/findlib.conf nor the directory /etc/findlib.conf.d")." Please report at http://coq.inria.fr/bugs/. 3. Install ocaml-findlib and confirm it works now |
This task depends upon
Closed by Konstantin Gizdov (kgizdov)
Wednesday, 07 September 2022, 09:24 GMT
Reason for closing: Fixed
Additional comments about closing: coq 8.16.0-2
Wednesday, 07 September 2022, 09:24 GMT
Reason for closing: Fixed
Additional comments about closing: coq 8.16.0-2