[Agda] ANNOUNCE: Agda 2.4.2.2

[Byron Hale]

Problem solved:

Because cpphs-1.19 now exists, in a fresh sandbox, type

 > cabal install Agda cpphs-1.18.9
...
Registering Agda-2.4.2.2...
/usr/local/bin/ghc-pkg update - --global --no-user-package-db 
'--package-db=/home/byron/.cabal/sandboxes/agda2.4.2.2/.cabal-sandbox/x86_64-linux-ghc-7.8.3-packages.conf.d'
Installed Agda-2.4.2.2
Updating world file...

While I tried that before, it was then a directory .../.cabal-sandbox .
Ironically, that directory was/is not a cabal sandbox.

Thanks for answering, also to Andreas Abel and Martin Escardo.
I'm glad its not a bug.

Byron

On 05/11/2015 04:40 AM, Andrés Sicard-Ramírez wrote:
> On 11 May 2015 at 02:46, Byron Hale <byron.hale at einfo.com> wrote:
>> On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3 and
>> cabal-install version 1.22.2.0  installed,
>> "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -> cpphs-1.19 and
>> haskell-src-exts-1.16.0.1 -> haskell-src-exts-1.19.
> haskell-src-exts-1.19 doesn't exists.
>
>> This happened even when I pre-installed the correct versions of those
>> dependencies.
> I don't understand. What did you pre-install?
>