[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