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
Task Type Bug Report
Category Packages
Status Closed
Assigned To Konstantin Gizdov (kgizdov)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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

Loading...