title: Cannot find a physical path bound to logical path matching suffix <> and prefix Coquelicot
body: <p>I've recently installed Coq version 8.12.2 with opam. I have installed all the packages of Coq using the following command :</p>
  <p><strong>opam repo add coq-released <a href="https://coq.inria.fr/opam/released" rel="nofollow noreferrer">https://coq.inria.fr/opam/released</a></strong></p>
  <p>But when I try to compile packages in Coqide, it doesn't recognize coquelicot.</p>
  <pre><code>From Coq Require Import Lia Reals Lra List.
  From Coquelicot Require Import Coquelicot.
  From Coq Require Import PropExtensionality FunctionalExtensionality.
  Require Import Rbar_compl.
  Require Import sum_Rbar_nonneg.
  Require Import measurable_fun.
  Require Import subset_compl.
  Require Import R_compl.
  Require Import sigma_algebra_R_Rbar.
  Require Import sigma_algebra.
  Require Import simple_fun.
  Require Import LInt_p.
  
  </code></pre>
  <p>I receive these errors : <br />
  <code>Cannot find a physical path bound to logical path matching suffix &lt;&gt; and prefix Coquelicot</code></p>
  <p>And</p>
  <pre><code>Unable to locate library
  Rbar_compl. (While searching for a .vos file.)
  </code></pre>