<discocaml>
<._null._> It's a Coq issue, where opam would probably make something outright not build
<discocaml>
<functionalprogramming> I had to unpin the versions
<discocaml>
<functionalprogramming> I had to unpin each package in the installation instructions of lemmafinder
<discocaml>
<functionalprogramming> since if I tried to use those exact versions it came into conflict
<discocaml>
<functionalprogramming> next, I will try pinning coq-of-ocaml and letting the rest go unpinned
<discocaml>
<functionalprogramming> since if I tried to use those exact versions it came into conflict with my opam version
<discocaml>
<._null._> I can't build the project, but I have installed all its dependencies
<discocaml>
<._null._> I can't build the project, but I have installed all its dependencies, including coq-of-ocaml
<discocaml>
<._null._> The issue is that dune cannot find library lfindalgo which is in src, I don't know why
motherfsck has quit [Quit: quit]
<discocaml>
<functionalprogramming> hmm
<discocaml>
<._null._> Anyway, you can keep your recent version of opam, it is not the issue
<discocaml>
<functionalprogramming> thanks for taking your time
<discocaml>
<functionalprogramming> yeah, i am on the installing proverbot step
<discocaml>
<functionalprogramming> i really appreciate it
<discocaml>
<functionalprogramming> interesting, thanks for the heads up
<discocaml>
<._null._> You can even probably not use OCaml 4.07 and go for a more recent one, but it's probably easiest to install as they say in this case