Open threonorm opened 1 month ago
Hi,
Thanks for the report! I am currently traveling and don't have much time to look into this. I should be able to debug this in a week or two. In the meantime, did you make sure that you have all the required dependencies? You seem to be missing Hierarchy Builder, which a transitive dependency of extructures via mathcomp 2.0.0.
@threonorm Could you please include the exact commands that you ran to compile the library?
Hi,
Thanks for your work!
I am having a little issue, it seems coq-deriving is failing for Coq 8.18 and Ocaml 5.1.0: