<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <pre>I look to my Agda installation made by

cabal get Agda

cd Agda-2.6.1

cabal sandbox init

cabal install

I did this installation because the more direct "cabal install Agda" failed

</pre>

    <pre>But I have the following problem. The standard library seems badly installed:

</pre>

    <pre>The imported module Relation is searched in </pre>

    <pre><pre>/home/michel/Agda-2.6.1/.cabal-sandbox/share/x86_64-linux-ghc-8.6.5/Agda-2.6.1/lib/prim.</pre>and not found, because in this directory, there is only a another directory Agda and not the file Relation.

Is it possible to reinstall only the standard library ?

 </pre>

    <pre class="moz-signature" cols="72">-- 

mail : <a class="moz-txt-link-abbreviated" href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a>

mobile : 06 59 13 42 53

web : http ://michel.levy.imag.free.fr

</pre>

  </body>

</html>