[Agda] installation problem

[Michel Levy]

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

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

The imported module Relation is searched in

/home/michel/Agda-2.6.1/.cabal-sandbox/share/x86_64-linux-ghc-8.6.5/Agda-2.6.1/lib/prim.

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 ?
  

-- 
mail :michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : http ://michel.levy.imag.free.fr

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200530/d6dc06db/attachment.html>