<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 19 Jun 2021 at 05:57, <<a href="mailto:mechvel@scico.botik.ru">mechvel@scico.botik.ru</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
I try to install it from source under<br>
   cabal-3.4.0.0, ghc-9.0.1, Ubuntu Linux 18.04:<br>
<br>
  > cabal install<br>
  > cabal update<br>
<br></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">I guess you meant</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ cabal update</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ cabal install<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">And this time it reports<br>
<br>
   cabal: filepath wildcard 'doc/user-manual.pdf' does not match any<br>
files.<br>
<br></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">It seems you were installing Agda 2.6.2 from a directory with a `Agda.cabal` file. Try to install Agda from a different directory.<br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Best,</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div></div>-- <br><div dir="ltr" class="gmail_signature">Andrés</div></div>