[Agda] [ANNOUNCE] Agda 2.6.2

mechvel at scico.botik.ru mechvel at scico.botik.ru
Sat Jun 19 12:56:56 CEST 2021


On 2021-06-19 09:38, Andrés Sicard-Ramírez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce the release of Agda 2.6.2.
> 


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

This approach worked for earlier versions (with smaller versions of 
cabal and ghc).
And this time it reports

   cabal: filepath wildcard 'doc/user-manual.pdf' does not match any 
files.

I test:

  > cabal --v
  cabal-install version 3.4.0.0
  compiled using version 3.4.0.0 of the Cabal library

  > ghc -V
  The Glorious Glasgow Haskell Compilation System, version 9.0.1

Can you, please, advise on this?
Thanks,

------
Sergei






More information about the Agda mailing list