[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 2

Peter Hancock hancock at fastmail.fm
Mon Apr 1 20:20:41 CEST 2019


On 31/03/2019 23:19, Andres Sicard Ramirez wrote:

>   $ cabal get https://hackage.haskell.org/package/Agda-2.5.4.2.20190330/candidate/Agda-2.5.4.2.20190330.tar.gz
>   $ cd Agda-2.5.4.2.20190330
>   $ cabal install

I tried this route, on a Fedora fc29 system, using ghc version 8.6.4 from Fedora Modular.
I kept getting: 
" cabal: Error: some packages failed to install:
  Agda-2.5.4.2.20190330 failed during the final install step. The exception was:
  user error (Couldn't parse the output of 'setup register
  --gen-pkg-config':NoParse "license" 5)
"
no matter how much I floundered around pursuing hunches.
(eg, I tried re-cabaling cabal-install, to 2.4.1.0.)

Portions of the string above seem to crop quite a bit on google,
and to indicate, possibly, some minor ghc/cabal/fedora flakiness.

If anyone has some suggestions, I can try them out.

Hank




More information about the Agda mailing list