[Agda] [ANNOUNCE] Agda 2.6.0 release candidate 2
Peter Hancock
hancock at fastmail.fm
Mon Apr 1 20:52:01 CEST 2019
Oh wait, it worked(/built)!
it = Agda version 2.5.4.2.20190330
cabal-install version 2.4.1.0
compiled using version 2.4.1.0 of the Cabal library
The Glorious Glasgow Haskell Compilation System, version 8.6.4
This may have been due to a just previous cabal update.
There was some scolding:
"Warning: The install command is a part of the legacy v1 style of cabal usage.
Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.
For more information, see: https://wiki.haskell.org/Cabal/NewBuild
"
Hank
More information about the Agda
mailing list