[Agda] [ANNOUNCE] Agda 2.6.2

[Andrés Sicard-Ramírez]

On Sat, 19 Jun 2021 at 05:57, <mechvel at scico.botik.ru> wrote:

>
> I try to install it from source under
>    cabal-3.4.0.0, ghc-9.0.1, Ubuntu Linux 18.04:
>
>   > cabal install
>   > cabal update
>
>
I guess you meant

$ cabal update
$ cabal install


> And this time it reports
>
>    cabal: filepath wildcard 'doc/user-manual.pdf' does not match any
> files.
>
>
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.
Best,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210619/b70ecc34/attachment.html>